Ergebnisse filtern
-
- 5
- 4
-
- 1
- 1
- 2
- 2
- 2
- 1
-
- 1
- 1
- 5
- 2
-
- 2
- 5
- 2
-
- 9
-
- 9
-
- 9
-
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings2007Verlag: SpringerISBN: 978-3-540-71209-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Veith / Grumberg 25 Years of Model Checking
History, Achievements, Perspectives2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69849-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nipkow / Grumberg Software Safety and Security
Tools for Analysis and Verification1. Auflage 2012Verlag: IOS PressISBN: 978-1-61499-027-7Medium: Buch136,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71208-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Grumberg / Veith 25 Years of Model Checking
History, Achievements, Perspectives2008Verlag: SpringerISBN: 978-3-540-69850-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark37,44 € (inkl. MwSt.)
sofort verfügbar
-
Grumberg / Kaminski / Katz Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday2009Verlag: SpringerISBN: 978-3-642-01748-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Grumberg / Kaminski / Katz Languages: From Formal to Natural
Essays Dedicated to Nissim Francez on the Occasion of His 65th BirthdayErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01747-6Medium: Buch53,49 € (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,99 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
