Format:
XVII, 364 S.
Edition:
2. ed.
ISBN:
0-387-94896-1
Series Statement:
Graduate texts in computer science
Language:
English
Subjects:
Computer Science
Keywords:
Programmverifikation
;
Verifikation
;
Software
URL:
http://www.loc.gov/catdir/enhancements/fy0812/96029771-d.html
URL:
http://www.loc.gov/catdir/enhancements/fy0812/96029771-t.html
Author information:
Olderog, Ernst-Rüdiger 1955-
Author information:
Apt, Krzysztof R. 1949-