Ergebnisse filtern
-
- 4
- 3
-
- 1
- 3
- 1
- 1
- 1
-
- 1
- 3
- 1
- 1
- 1
-
- 4
- 3
-
- 7
-
- 7
-
- 7
-
Clarke / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected PapersErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-17511-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Voronkov / Clarke Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers2011Verlag: SpringerISBN: 978-3-642-17510-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kurshan / Clarke Computer-Aided Verification
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54477-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Henzinger / Veith Handbook of Model Checking
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-10575-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
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 -
Clarke / Grumberg / Kroening Model Checking, second edition
Erscheinungsjahr 2018Verlag: MIT PressISBN: 978-0-262-34945-1Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)75,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort