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
- 11%Gary D. Hachtel + weitere
Logic Synthesis and Verification AlgorithmsBuch (Taschenbuch) + weitere
82,99 € UVP
93,49 €*Versandfertig in 5 - 7 Tagen
-
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