Constructie en verificatie van programma's - Roland C. Backhouse | gedrukt boek

Ga direct naar de inhoud, het zoekveld of het hoofdmenu.

Beschrijving van een methode voor het ontwikkelen van programma's die voldoen aan een gegeven mathematische specificatie.

Inhoud: Non-fictie
Onderwerpen: Besturingssystemen; algemeen - Programmeren; algemeen - Programmeertalen; algemeen | Programmeren (computer)
Taal: Nederlands
Serie: Prentice-Hall/Academic Service serie

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.

Roland C. Backhouse Constructie en verificatie van programma's