Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
1. |  | Title: Computer-Aided Reasoning: An Approach by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore ISBN: 0792377443 Publisher: Kluwer Academic Publishers Pub. Date: June, 2000 List Price: $132.00 Amazon.com Price: $132.00 |
| 2. |  | Title: Computer-Aided Reasoning: Acl2 Case Studies by Matt Kaufmann, Panagiotis Manolios, J Strother Moore ISBN: 0792378490 Publisher: Kluwer Academic Publishers Pub. Date: June, 2000 List Price: $154.00 Amazon.com Price: $154.00 |
| 3. |  | Title: Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series, V. 3) by J. Strother Moore ISBN: 0792339207 Publisher: Kluwer Academic Publishers Pub. Date: March, 1996 List Price: $213.00 Amazon.com Price: $213.00 |
| 4. |  | Title: Computational Logic Handbook by Robert S. Boyer, J. Strother Moore ISBN: 0121229556 Publisher: Academic Press Pub. Date: October, 1997 List Price: $74.00 Amazon.com Price: $74.00 |
| 5. |  | Title: The Correctness Problem in Computer Science by Robert S. Boyer, J. Strother Moore ISBN: 0121229203 Publisher: Academic Press Pub. Date: November, 1997 List Price: $75.00 Amazon.com Price: $75.00 |
| 6. |  | Title: Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor (SuDoc NAS 1.26:189588) by J. Strother Moore ISBN: B00010D6Y6 Publisher: National Aeronautics and Space Administration, Langley Research Center National Technical Information Service, distributor] Pub. Date: 1992 |
| 7. |  | Title: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol (SuDoc NAS 1.26:4433) by J Strother Moore ISBN: B00010DFBK Publisher: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program For sale by the National Technical Information Service] Pub. Date: 1992 |
| 8. |  | Title: Computer Aided Reasoning Two Volume Set by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore ISBN: 0792378806 Publisher: Kluwer Academic Publishers Pub. Date: 15 February, 2001 List Price: $208.00 Amazon.com Price: $208.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
