Ergebnisse filtern
-
- 2
-
- 2
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
-
- 2
-
- 2
-
- 2
-
- 2
-
- 2
Virtuelle Maschinen, Virtualisierung
-
Kotsireas / Rump / Yap Mathematical Aspects of Computer and Information Sciences
6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-32858-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Butler / Schewe / Mashkoor Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
