Mathematical methods in program development

Contributor(s):

Material type: Text

TextSeries: NATO ASI series. Series F, Computer and systems sciences ; 158Publication details: Berlín : Springer, c1997Description: viii, 528 p. ; 26 cmISBN:

354063195X

Subject(s):

Contents:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due
Libro	Biblioteca de la Facultad de Informática	D.1 MAT (Browse shelf(Opens below))	Available

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.

Click on an image to view it in the image viewer