Ergebnisse filtern
-
- 29
-
- 29
-
- 26
- 3
-
- 29
-
- 29
-
- 29
-
Hunt FM8501: A Verified Microprocessor
Erscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-57960-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schubert / Windley / Alves-Foss Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60275-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Moore / Luk Field-Programmable Logic and Applications
5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60294-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Camurati / Eveking Correct Hardware Design and Verification Methods
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60385-6Medium: 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