Mathematical methods in program development

Mathematical methods in program development - Berlín : Springer, c1997 - viii, 528 p. ; 26 cm. - NATO ASI series. Series F, Computer and systems sciences 158 .

Proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996 -en rev. de portada. --

Designing proofs and programs -- Examples of protocol design -- Languages and models for program design -- Programming paradigms -- Mechanical proof assistance.

354063195X

DIF-M210


MÉTODOS MATEMÁTICOS
DESARROLLO DE SOFTWARE
PROGRAMACIÓN
REQUERIMIENTOS/ESPECIFICACIONES