Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

  In Print Books   Out of Print Books   Magazine   Music   Movie   Credit Card   Help  
  |  Home |  FAQ/About us |  Link to us |  Recommend us |  Contact us |  Bookstores |  Browse |  Memo |  

 

J. Strother Moore
 
1. Computer-Aided Reasoning
ISBN: 0792378806 - Hardcover - List Price: $208.00
Publisher: Kluwer Academic Pub - Published Date: 06/01/2000 - Hardcover
Author: Matt Kaufmann
Author: Panagiotis Manolios
Author: J. Strother Moore

2. Computer-Aided Reasoning: Acl2 Case Studies
ISBN: 0792378490 - Hardcover - List Price: $255.00
Publisher: Kluwer Academic Pub - Published Date: 06/01/2000 - Hardcover
Editor: Matt Kaufmann
Editor: Panagiotis Manolios
Editor: J. Strother Moore

3. Computer-Aided Reasoning: An Approach
ISBN: 0792377443 - Hardcover - List Price: $215.00
Publisher: Kluwer Academic Pub - Published Date: 06/01/2000 - Hardcover
Author: Matt Kaufmann
Author: Panagiotis Manolios
Author: J. Strother Moore

4. Piton: A Mechanically Verified Assembly-Level Language
ISBN: 0792339207 - Hardcover - List Price: $229.00
Publisher: Kluwer Academic Pub - Published Date: 03/01/1996 - Hardcover
Author: J. Strother Moore

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

 

 

Copyright 1995-2000 Muze Inc. For personal use only. All rights reserved.