Format:
XXIII, 502 S. :
,
graph. Darst.
Edition:
3., extended ed.
ISBN:
978-1-84882-744-8
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:
Apt, Krzysztof R., 1949-
Author information:
Olderog, Ernst-Rüdiger, 1955-