Ergebnisse filtern
-
- 1
-
- 1
-
- 1
- 1
-
- 1
-
- 1
-
- 1
-
- 1
-
- 1
Mathematik | Informatik
-
Wijs / Bošnacki / Bošnacki Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-32581-1Medium: Buch53,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort