Beschrijving van een methode voor het ontwikkelen van programma's die voldoen aan een gegeven mathematische specificatie.
- Genre
-
Non-fictie
- Onderwerpen
-
Besturingssystemen; algemeen - Programmeren; algemeen - Programmeertalen; algemeen | Programmeren (computer)
- Taal
-
Nederlands
Meer informatie
- Versie
- 1e dr
- Uitgever
- Academic Service, Schoonhoven
- Verschenen
-
1990
- ISBN
- 906233461X
- Kenmerken
-
309 pagina's
- Aantekening
- Met lit. opg., index
- [vert. uit het Engels: M.M. Stefanski]
- Uitg. in samenw. met Prentice-Hall
- Vert. van; Program construction and verification. - Englewood Cliffs, N.J. [etc.] : Prentice-Hall, 1986
Je leent dit boek bij je eigen Bibliotheek. Vul de vier cijfers van je postcode in en vind je Bibliotheek.