Format:
XV, 236 S. : Ill.
ISBN:
3-11-014764-5
Series Statement:
Programmierung komplexer Systeme 8
Note:
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1995
Language:
German
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Programm
;
Korrektheit
;
Beweis
;
Programmverifikation
;
Hochschulschrift
;
Hochschulschrift
;
Programm
;
Software
;
Hochschulschrift