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
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