Format:
1 Online-Ressource :
,
Illustrationen, Diagramme.
Edition:
Corrected publication
ISBN:
978-3-031-19756-7
Series Statement:
Lecture notes in computer science 13702
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-19755-0
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-19757-4
Language:
English
Keywords:
Softwareentwicklung
;
Programmanalyse
;
Programmverifikation
;
Formale Methode
;
Systementwurf
;
Systemanalyse
;
Verifikation
;
Formale Methode
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-031-19756-7
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Margaria, Tiziana 1964-
