Format:
XI, 288 S.
,
Ill., graph. Darst.
ISBN:
3824420317
Series Statement:
DUV : Informatik
Note:
Zugl.: Karlsruhe, Univ., Diss., 1992
Language:
German
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Programm
;
Korrektheit
;
Beweis
;
Hochschulschrift
;
Hochschulschrift
;
Hochschulschrift
;
Programm
;
Software
Author information:
Heisel, Maritta
Bookmarklink