Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Filiale in Ihrer Nähe.
-
Computer Aided Verification
Band 2725
Computer Aided VerificationeBook (PDF) + weitere
Fr. 62.90
-
Logic Synthesis and Verification Algorithms
Gary D. Hachtel + weitere
Logic Synthesis and Verification AlgorithmsBuch (Gebundene Ausgabe) + weitere
Fr. 127.00
-
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel + weitere
Abstraction Refinement for Large Scale Model CheckingBuch (Gebundene Ausgabe) + weitere
Fr. 138.00
von 3 Treffern werden angezeigt