For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Fabio Somenzi
Fabio Somenzi is the author of "Computer Aided Verification", "Logic Synthesis and Verification Algorithms", "Electronic Design Automation for Integrated Circuits Handbook - 2 Volume Set" and "Abstraction Refinement for Large Scale Model Checking".
Books by Fabio Somenzi
View more
Abstraction Refin...
Wang, Chao
Electronic book text:
$169.00
Logic Synthesis a...
Hachtel, Gary D.
Electronic book text:
$89.95
Logic Synthesis a...
Hachtel, Gary D.
Paperback:
$99.99
Logic Synthesis a...
Hachtel, Gary D.
Hardback:
$99.99