CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms by Hachtel, Gary D., Somenzi, ... ISBN: 9780387310046 List Price: $79.95
$54.98 (Save 31%) $37.67 (Save 52%)
2.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms by Hachtel, Gary D., Somenzi, ... ISBN: 9780792397465 List Price: $89.95
$73.91 (Save 17%)
3.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms by Hachtel, Gary D., Somenzi, ... ISBN: 9781475770360 List Price: $89.95
$90.26
4.
Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking by Wang, Chao, Hachtel, Gary D... ISBN: 9780387341552 List Price: $119.00
$35.16 (Save 70%)
5.
Computer Aided Verification 15th International Conference, Cav 2003, Boulder, Co, Usa, July ...
Computer Aided Verification 15th International Conference, Cav 2003, Boulder, Co, Usa, July ... by Hunt, Warren A., Jr., Somen... ISBN: 9783540405245 List Price: $89.95
$52.33 (Save 41%)
6.
Computer Aided Verification
Computer Aided Verification by Hunt, Jr Warren a, Somenzi,... ISBN: 9783662186855 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms by Hachtel, Gary D., Somenzi, ... ISBN: 9781475770353 List Price: $24.99

OUT OF STOCK

See Availability on Amazon