Ergebnisse filtern
-
- 6
-
- 1
- 1
- 2
- 1
- 1
-
- 1
- 4
- 1
- 1
- 6
- 2
-
- 1
- 1
- 1
- 1
- 2
-
- 4
- 2
-
- 6
-
- 6
-
- 6
Mathematik | Informatik
-
Somenzi / Hachtel Logic Synthesis and Verification Algorithms
Softcover Nachdruck of the original 1. Auflage 1996Verlag: Springer USISBN: 978-1-4757-7036-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
1996Verlag: SPRINGER NATUREISBN: 978-0-387-31004-6Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hachtel / Somenzi Logic Synthesis and Verification Algorithms
1. Auflage 1996Verlag: SpringerISBN: 978-0-7923-9746-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wang / Somenzi / Hachtel Abstraction Refinement for Large Scale Model Checking
2006Verlag: Springer USISBN: 978-1-4899-9395-3Medium: Buch119,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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. 10 Werktage
-
Somenzi / Hunt, Jr. / Hunt Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 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
