Mathematical methods in program development

By: Material type: TextTextSeries: NATO ASI series. Series F, Computer and systems sciences ; 158Publication details: Berlín : , 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.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.

There are no comments on this title.

to post a comment.

Powered by Koha