Ergebnisse filtern
-
- 6
-
- 1
- 1
- 1
- 1
- 2
-
- 5
- 1
-
- 1
- 1
- 4
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
Dawar / Veith Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15204-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grumberg / Veith 25 Years of Model Checking
History, Achievements, PerspectivesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69849-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sharygina / Veith Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-39798-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89438-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Henzinger / Veith Handbook of Model Checking
Softcover Nachdruck of the original 1. Auflage 2018Verlag: SpringerISBN: 978-3-030-13233-0Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bloem / Clarke / Henzinger Handbook of Model Checking
1. Auflage 2018Verlag: Springer-Verlag GmbHISBN: 978-3-319-10574-1Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort