Umfang:
IX, 264 S.
,
graph. Darst
ISBN:
3446150560
,
0137296584
Originaltitel:
Program construction and verification 〈dt.〉
Anmerkung:
Übers. aus dem Amerikan
Sprache:
Deutsch
Fachgebiete:
Informatik
Schlagwort(e):
Programmierung
;
Programmverifikation
;
Programmierung
;
Programmverifikation
;
Softwareentwicklung
;
Programmverifikation
Mehr zum Autor:
Backhouse, Roland C. 1948-
Bookmarklink