| | Books 1 - 3 of 3 | Previous | Next | 
|  | | Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems) (1st Edition)
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
Hardcover, 186 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Verification: 5th International Conference, CAV 2003, Boulder, CO, USA, July 8-2, 2003, Proceedings (Lecture Notes in Computer Science) (1st Edition)
by Jr., Warren A. Hunt (Editor), Fabio Somenzi (Editor)
Paperback, 462 Pages, Published 2003 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Logic Synthesis and Verification Algorithms (1st Edition)
by Gary D. Hachtel, Fabio Somenzi
Paperback, 564 Pages, Published 2006 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 3 of 3 | Previous | Next |
|