Birtwistle Current Trends in Hardware Verification and Automated Theorem Proving

Current Trends in Hardware Verification and Automated Theorem Proving

von

Preis unbekannt

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Graham Birtwistle

Stimmen zu »Current Trends in Hardware Verification and Automated Theorem Proving«

Details

ISBN: 9783540969884
Verlag: Springer Berlin
Erscheinung: 1989

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden