| Books 1 - 3 of 3 | Previous | Next | 
|  | | Computer-Aided Reasoning: An Approach (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Hardcover, 292 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Aided Reasoning Two Volume Set (1st Edition)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J Strother Moore (Editor)
Hardcover, 648 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 3 of 3 | Previous | Next |
|