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 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments