Showing 1 - 7 of 7 Results
1.
Computer Aided Verification 15th International Conference, Cav 2003, Boulder, Co, Usa, July ... by Hunt, Warren A., Jr., Somen... ISBN: 9783540405245 List Price: $89.95
2.
FM8501 by Hunt, Warren A., Jr. ISBN: 9783540579601 List Price: $77.95
3.
Theory of Experiential Education by Warren, Karen, Sakofs, Mitc... ISBN: 9780787202620 List Price: $29.00
4.
Fm8501 A Verified Microprocessor by Hunt, Warren A., Jr. ISBN: 9780387579603 List Price: $69.95
5.
Fm8501 : A Verified Microprocessor by Hunt, Warren A. Jr. ISBN: 9783662195932 List Price: $24.99
6.
Computer Aided Verification by Hunt, Jr Warren a, Somenzi,... ISBN: 9783662186855 List Price: $24.99
7.
Formal Methods in Computer-Aided Design by Hunt, Warren A. Jr., Johnso... ISBN: 9783662211731 List Price: $24.99