Format:
1 Online-Ressource (xxi, 528 Seiten)
,
491 Illustrationen, 73 in Farbe
ISBN:
9783030324094
Series Statement:
Lecture notes in computer science 11852
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-32408-7
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-32410-0
Language:
English
Keywords:
Softwareentwicklung
;
Formale Methode
;
Komponente
;
Konferenzschrift
DOI:
10.1007/978-3-030-32409-4
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Qin, Shengchao