Format:
XXIII, 502 S.
,
graph. Darst.
Edition:
3., extended ed.
ISBN:
9781848827448
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