Ergebnisse filtern
-
- 5
-
- 1
- 2
- 1
- 1
-
- 4
- 1
-
- 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 Comparison1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kumar / Kropf Theorem Provers in Circuit Design: Theory, Practice and Experience
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59047-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-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
