Format:
1 Online-Ressource (xi, 552 Seiten)
,
754 Illustrationen, 60 in Farbe
ISBN:
9783030317843
Series Statement:
Lecture notes in computer science 11781
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-31783-6
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-31785-0
Language:
English
Subjects:
Computer Science
Keywords:
Formale Methode
;
Verifikation
;
Systementwurf
;
Systemanalyse
;
Systemsynthese
;
CASHE
;
Konferenzschrift
DOI:
10.1007/978-3-030-31784-3
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Cheng, Chih-Hong
Author information:
Esparza, Javier 1964-
Bookmarklink