Ergebnisse filtern
-
- 6
- 3
-
- 1
- 1
- 1
- 3
- 1
- 1
- 1
-
- 4
- 1
- 2
- 1
- 1
-
- 7
- 2
-
- 9
-
- 9
-
- 9
-
Wang / Somenzi Abstraction Refinement for Large Scale Model Checking
1. Auflage 2006Verlag: Springer-VerlagISBN: 978-0-387-34600-7Medium: eBookFormat: PDF
Kopierschutz: Wasserzeichen (»Systemvoraussetzungen)96,29 € (inkl. MwSt.)
sofort verfügbar
-
Hunt / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-540-45069-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
1996. Auflage 1996Verlag: Springer UsISBN: 978-0-7923-9746-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
1996Verlag: SPRINGER NATUREISBN: 978-0-387-31004-6Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
Softcover Nachdruck of the original 1. Auflage 1996Verlag: SpringerISBN: 978-1-4757-7036-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
Erscheinungsjahr 2005Verlag: Springer USISBN: 978-0-306-47592-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark90,94 € (inkl. MwSt.)
sofort verfügbar
-
Wang / Hachtel / Somenzi Abstraction Refinement for Large Scale Model Checking
2006. Auflage 2006Verlag: Springer UsISBN: 978-0-387-34155-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Wang / Hachtel / Somenzi Abstraction Refinement for Large Scale Model Checking
2006Verlag: SpringerISBN: 978-1-4899-9395-3Medium: Buch119,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hunt / Hunt, Jr. / Somenzi Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40524-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
