Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2008)


OUR TOP PICK

$204.95

+ $29.00 postage
Quantity
5 available
Condition
Brand new
Sold by
ausreseller (123341)97.7% positive Feedback
Delivery
Est. 7 Sep - 18 SepFrom West Ryde, NSW
Returns
No returns, but backed by eBay Money Back Guarantee