Umfang:
x, 206 Seiten
,
Diagramme
ISBN:
9783030311568
Serie:
Lecture notes in computer science 11823
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-31157-5
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Softwaretest
;
Beweis
;
Softwaresystem
;
Programmverifikation
;
Model Checking
;
Formale Methode
;
Konferenzschrift
Mehr zum Autor:
Beyer, Dirk 1972-