Local cover image
Local cover image

Mathematical methods in program development

Contributor(s): Material type: TextTextSeries: 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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.1 MAT (Browse shelf(Opens below)) Available DIF-00062

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

Local cover image