Liebe Besucherinnen und Besucher,
heute ab 15 Uhr feiern wir unser Sommerfest und sind daher nicht erreichbar. Ab morgen sind wir wieder wie gewohnt für Sie da. Wir bitten um Ihr Verständnis – Ihr Team von Sack Fachmedien
Ergebnisse filtern
-
- 6
-
- 1
- 1
- 2
- 1
- 1
-
- 1
- 4
- 1
- 1
- 6
- 2
-
- 1
- 1
- 1
- 1
- 2
-
- 4
- 2
-
- 6
-
- 6
-
- 6
EDV | 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 / 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
-
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
-
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
