Books by Fabio Somenzi
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-20% with code BOOKS
In stock at our supplier
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Fabio Somenzi, Gary D. Hachtel
-20% with code BOOKS
In stock at our supplier
Abstraction Refinement for Large Scale Model Checking
Gary D Hachtel, Chao Wang, Fabio Somenzi
-20% with code BOOKS
In stock at our supplier
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-20% with code BOOKS
In stock at our supplier