Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Computer Aided Verification
Band 2725
Computer Aided VerificationeBook (PDF) + weitere
54,99 €
Sofort per Download lieferbar
-
Logic Synthesis and Verification Algorithms
Gary D. Hachtel + weitere
Logic Synthesis and Verification AlgorithmseBook (PDF) + weitere
93,49 €
Sofort per Download lieferbar
-
Abstraction Refinement for Large Scale Model Checking
- 12%Chao Wang, Gary D. Hachtel + weitere
Abstraction Refinement for Large Scale Model CheckingBuch (Gebundene Ausgabe) + weitere
95,99 € UVP
109,99 €*Versandfertig innerhalb von 6 Wochen
von 3 Treffern werden angezeigt