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: Ml for the Working Programmer by Lawrence C. Paulson ISBN: 052156543X Publisher: Cambridge University Press Pub. Date: 01 June, 1996 List Price: $50.00 Amazon.com Price: $39.00 |
| 2. |  | Title: Isabelle: A Generic Theorem Prover by Lawrence C. Paulson ISBN: 0387582444 Publisher: Springer-Verlag Pub. Date: 01 July, 1994 List Price: $71.95 Amazon.com Price: $71.95 |
| 3. |  | Title: Isabelle/Hol: A Proof Assistant for Higher-Order Logic by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel ISBN: 3540433767 Publisher: Springer-Verlag Pub. Date: 01 May, 2002 List Price: $39.95 Amazon.com Price: $39.95 |
| 4. |  | Title: Logic and Computation: Interactive Proof With Cambridge Lcf by Lawrence C. Paulson ISBN: 0521395607 Publisher: Cambridge University Press Pub. Date: 01 September, 1990 List Price: $37.00 Amazon.com Price: $37.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
