Format:
1 Online-Ressource (x, 245 Seiten)
,
79 Illustrationen, 53 in Farbe
ISBN:
9783031150081
Series Statement:
Lecture notes in computer science 13487
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-15007-4
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-15009-8
Language:
English
Subjects:
Computer Science
Keywords:
Sicherheitskritisches System
;
Formale Methode
;
Systemanalyse
;
Systementwurf
;
Softwareentwicklung
;
Verifikation
;
Programmiersprache
;
Compiler
;
Interpretierer
;
Software Engineering
;
Konferenzschrift
DOI:
10.1007/978-3-031-15008-1
URL:
Volltext
(URL des Erstveröffentlichers)
