Ergebnisse filtern
Programmierung | Softwareentwicklung
-
Hu / Vardi Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hu / Martin Formal Methods in Computer-Aided Design
5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23738-9Medium: 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