All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Kluwer Academic Publishers
Springer
Springer-Verlag New York
Filter Results
Showing 3 Results in All Departments
Relevance
Computer-Aided Reasoning - ACL2 Case Studies (Paperback, Softcover reprint of the original 1st ed. 2000)
R
5,895
Add to Cart
Ships in 10 - 15 working days
Computer-Aided Reasoning - ACL2 Case Studies (Hardcover, 2000 ed.)
R
5,982
Add to Cart
Ships in 10 - 15 working days
Computer-Aided Reasoning, Pts. 1 & 2 - ACL2 Case Studies (Book, 2000 ed.)
Matt Kaufmann
,
Panagiotis Manolios
,
J. Strother Moore
List Price
R
7,889
R
7,825
Out of Stock
Out of stock