GetTextbooks.co.uk  
 Compare Prices & Save up to 90%
Search by ISBN, title, author, etc ...

Login | Sign up | My Wish List  

Searching the web for the best textbook prices
just be a few seconds ...

0 %

Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Hardcover, 360 Pages, Published 2000, 1st Edition


List Price: $289.00

ISBN-10: 0-7923-7849-0        (0792378490)

ISBN-13: 978-0-7923-7849-5 (9780792378495)
Add to Wish List | Set Price Alert


New & Used Books
Shipping to United States , Price in U.S. Dollars, Stores in Any Language (change)
Store   Condition Price   + Ship   = Total
Amazon
   Best Value!
  New   $203.00   +   $0.00   =   $203.00   Buy Now
Amazon Marketplace   New   $203.00   +   $3.99   =   $206.99   Buy Now
Amazon Marketplace   Used   $281.21   +   $3.99   =   $285.20   Buy Now


Home | Browse | Professors | Merchants | Webmasters | Contact Us

[ United States | Canada ]

Copyright © 2003-2008 GetTextbooks.co.uk