Format:
1 Online-Ressource (xxi, 442 Seiten) :
,
49 Illustrationen.
Edition:
Corrected publication
ISBN:
978-3-030-55754-6
Series Statement:
Lecture notes in computer science 12229
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55753-9
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-55755-3
Language:
English
Subjects:
Computer Science
Keywords:
Software Engineering
;
Künstliche Intelligenz
;
Computersimulation
;
Formale Methode
;
Testen
;
Verifikation
;
Automatisches Beweisverfahren
;
Softwareentwicklung
;
Systementwicklung
;
Konferenzschrift
DOI:
10.1007/978-3-030-55754-6
URL:
Volltext
(URL des Erstveröffentlichers)
Bookmarklink