Format:
1 Online-Ressource (xxii, 828 Seiten) :
,
218 Illustrationen, 167 in Farbe.
ISBN:
978-3-031-06773-0
Series Statement:
Lecture notes in computer science 13260
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-06772-3
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-031-06774-7
Language:
English
Keywords:
Formale Methode
;
Testen
;
Verifikation
;
Automatisches Beweisverfahren
;
Softwareentwicklung
;
Systementwicklung
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)
URL:
Volltext
(URL des Erstveröffentlichers)