Umfang:
XV, 236 S. : Ill.
ISBN:
3-11-014764-5
Serie:
Programmierung komplexer Systeme 8
Anmerkung:
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995
Sprache:
Deutsch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Programm
;
Korrektheit
;
Beweis
;
Programmverifikation
;
Hochschulschrift
;
Hochschulschrift
;
Programm
;
Software
;
Hochschulschrift
Bookmarklink