Format:
xxiii, 502 Seiten
,
Illustrationen
Edition:
Third, extended edition
ISBN:
9781848827448
,
9781447125136
Series Statement:
Texts in computer science
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-1-84882-745-5
Language:
English
Subjects:
Computer Science
Keywords:
Programmverifikation
;
Verifikation
;
Software
Author information:
Olderog, Ernst-Rüdiger 1955-
Author information:
Apt, Krzysztof R. 1949-
Bookmarklink