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	Barcode
Libro	Biblioteca de la Facultad de Informática	D.1 MAT (Browse shelf(Opens below))	Available		DIF-00062

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	D.1 KRU Data structures and program design	D.1 KRU Estructura de datos y diseño de programas	D.1 LOP Análisis y diseño de algoritmos : implementaciones en C y Pascal	D.1 MAT Mathematical methods in program development	D.1 MEY Méthodes de programmation	D.1 MIL Programming by design : a first course in structured programming	D.1 MOR Programming from specifications	Next

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

Back to results

1 Klavierwerke
by Chopin, Frédéric
2 32 composiciones elegidas para piano
by Chopin, Frédéric
3 Album ausgewählter stücke für klavier allein
by Chopin, Frédéric