Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 1
- 3
- 1
-
- 1
- 1
- 3
-
- 5
-
- 5
-
- 5
Programmierung | Softwareentwicklung
-
Bloem / Biere Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Arbel / Bloem Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49051-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bloem / Konnov / Jacobs Decidability of Parameterized Verification
Erscheinungsjahr 2015Verlag: Springer International PublishingISBN: 978-3-031-00883-2Medium: Buch48,14 € (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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
