Umfang:
1 Online-Ressource (xxi, 528 Seiten)
,
491 Illustrationen, 73 in Farbe
ISBN:
9783030324094
Serie:
Lecture notes in computer science 11852
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-32408-7
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-32410-0
Sprache:
Englisch
Schlagwort(e):
Softwareentwicklung
;
Formale Methode
;
Komponente
;
Konferenzschrift
DOI:
10.1007/978-3-030-32409-4
URL:
Volltext
(URL des Erstveröffentlichers)
Mehr zum Autor:
Qin, Shengchao