Format:
310 S. : graph. Darst.
ISBN:
3-411-16001-2
Note:
Literaturverz. S. [299] - 302
Language:
German
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Programmverifikation
;
Programm
;
Korrektheit
;
Beweis
;
Softwareentwicklung
;
Programmverifikation
;
Programm
;
Korrektheit
;
Softwaretest
;
Software
;
Verifikation
;
Software
;
Semantik