| | Books 1 - 3 of 3 | Previous | Next | 
|  | | Computer-aided Reasoning: An Approach: ACL2 Case Studies Pt. 2 (Advances in Formal Methods)
by Matt Kaufmann (Editor), Panagiotis Manolios (Editor), J.Strother Moore (Editor)
Hardcover, 360 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer-aided Reasoning: An Approach: ACL2 Studies Pt. 1 (Advances in Formal Methods)
by Matt Kaufmann, Panagiotis Manolios, J.Strother Moore
Hardcover, 292 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer-aided Reasoning: An Approach: Pts. 1 & 2 (Advances in Formal Methods)
by Matt Kaufmann, Panagiotis Manolios, J.Strother Moore
Hardcover, 648 Pages, Published 2000 by Kluwer Academic Publishers
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 3 of 3 | Previous | Next |
|