Umfang:
1 Online-Ressource (xvii, 554 Seiten)
,
1489 Illustrationen, 92 in Farbe
ISBN:
9783030349684
Serie:
Lecture notes in computer science 11918
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-34967-7
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-34969-1
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Formale Methode
;
Konferenzschrift
DOI:
10.1007/978-3-030-34968-4
URL:
Volltext
(URL des Erstveröffentlichers)