CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 8 of 8 Results
1.
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 1...
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 1... by Kaufmann, Matt, Paulson, La... ISBN: 9783642140518 List Price: $107.00

OUT OF STOCK

See Availability on Amazon
2.
Computer-Aided Reasoning An Approach
Computer-Aided Reasoning An Approach by Kaufmann, Matt, Manolios, P... ISBN: 9780792377443 List Price: $286.00

OUT OF STOCK

See Availability on Amazon
3.
Computer-Aided Reasoning : ACL2 Case Studies
Computer-Aided Reasoning : ACL2 Case Studies by Kaufmann, Matt, Manolios, P... ISBN: 9781441949813 List Price: $329.00
$204.85 (Save 37%)
4.
Computer-Aided Reasoning
Computer-Aided Reasoning by Kaufmann, Matt, Manolios, P... ISBN: 9781461544500 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Computer-Aided Reasoning : An Approach
Computer-Aided Reasoning : An Approach by Kaufmann, Matt, Manolios, P... ISBN: 9781461370031 List Price: $329.00

OUT OF STOCK

See Availability on Amazon
6.
Computer-Aided Reasoning
Computer-Aided Reasoning by Kaufmann, Matt, Manolios, P... ISBN: 9780792378808 List Price: $208.00

OUT OF STOCK

See Availability on Amazon
7.
Computer-Aided Reasoning Acl2 Case Studies
Computer-Aided Reasoning Acl2 Case Studies by Kaufmann, Matt, Manolios, P... ISBN: 9780792378495 List Price: $329.00
$204.85 (Save 37%)
8.
Computer-Aided Reasoning
Computer-Aided Reasoning by Kaufmann, Matt, Manolios, P... ISBN: 9781475731897 List Price: $24.99

OUT OF STOCK

See Availability on Amazon