Format:
XVI, 441 S.
ISBN:
3-540-97532-2
,
0-387-97532-2
Series Statement:
Texts and monographs in computer science
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Programmverifikation
;
Verifikation
;
Software
Author information:
Olderog, Ernst-Rüdiger 1955-
Author information:
Apt, Krzysztof R. 1949-