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: Types for Proofs and Programs: International Workshop, Types 2000, Durham, Uk, December 8-12, 2000: Selected Papers (Lecture Notes in Computer Science, 2277) by Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Holger Ingmar Meinhardt ISBN: 3540432876 Publisher: Springer Verlag Pub. Date: April, 2002 List Price: $52.00 Amazon.com Price: $52.00 |
| 2. |  | Title: Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science, No 11) by Zhaohui Luo ISBN: 0198538359 Publisher: Oxford Univ Pr Pub. Date: May, 1994 List Price: $135.00 Amazon.com Price: $135.00 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
