Kirjat Fabio Somenzi
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Fabio Somenzi, Gary D. Hachtel
-25% koodilla BOOKS
Toimittajalla varastossa
Abstraction Refinement for Large Scale Model Checking
Gary D Hachtel, Chao Wang, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa