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
-
- 5
-
- 1
- 2
- 1
- 1
-
- 5
- 1
- 1
-
- 1
- 4
-
- 5
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Kropf Introduction to Formal Hardware Verification
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65445-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kropf Introduction to Formal Hardware Verification
Softcover Nachdruck of hardcover 1. Auflage 1999Verlag: SpringerISBN: 978-3-642-08477-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kropf Formal Hardware Verification
Methods and Systems in Comparison1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kropf / Pierre Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kropf / Kumar Theorem Provers in Circuit Design: Theory, Practice and Experience
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59047-7Medium: 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
