Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • The correctness-by-constructio...
  • Bestand

Treffer: The correctness-by-construction approach to programming

Titel:
The correctness-by-construction approach to programming / Derrick G. Kourie ; Bruce W. Watson
Beteiligt:
Kourie, Derrick G. (Verfasser); Watson, Bruce W. (Verfasser) 
Veröffent­licht:
Berlin : Springer, 2012
Umfang:
XIII, 264 Seiten : Diagramme ; 25 cm
Format:
Buch
Sprache:
Englisch
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
9783642279188 ; 364227918X

Zusatz-Informationen

Zusatz-Funktionen