Format:
xvi, 193 Seiten
,
Illustrationen, Diagramme
ISBN:
9783030415990
Series Statement:
Lecture notes in computer science 12031
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-41600-3
Language:
English
Keywords:
Verifikation
;
Softwarespezifikation
;
Spezifikationssprache
;
Softwaretest
;
Programmanalyse
;
Programmverifikation
;
Formale Methode
;
Software Engineering
;
Spezialrechner
;
Konferenzschrift
;
Konferenzschrift
Author information:
Chakraborty, Supratik