Ergebnisse filtern
-
- 30
-
- 1
- 2
- 2
- 12
- 1
- 1
- 8
- 3
-
- 18
- 8
- 4
-
- 30
-
- 30
-
- 30
-
- 30
-
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 -
Foster / Krolnik Creating Assertion-Based IP
1. Auflage. Softcover version of original hardcover Auflage 2008Verlag: Springer USISBN: 978-1-4419-4218-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cao Predictive Technology Model for Robust Nanoelectronic Design
2011. Auflage 2011Verlag: Springer UsISBN: 978-1-4614-0444-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Foster / Krolnik Creating Assertion-Based IP
2008Verlag: Springer USISBN: 978-0-387-36641-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ganai / Gupta SAT-Based Scalable Formal Verification Solutions
Erscheinungsjahr 2007Verlag: SpringerISBN: 978-0-387-69166-4Medium: Buch160,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