Mathematical methods in program development

Título:

Mathematical methods in program development

Autor:

Colaboradores:

Broy, Manfred (Editor/a)Schieder, Birgit (Editor/a)

Temas:

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

Localización electrónica:

Serie:

NATO ASI series. Series F, Computer and systems sciences; 158

Descripción física:

viii, 528 p. ; 26 cm.

ISBN:

3-540-63195-X

Idioma:

Inglés, 

País:

Alemania

Publicación:

Berlín : Springer, c1997

Nota general:

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

Puede solicitar más fácilmente el ejemplar con: D.1 MAT

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