Go back
Interactive Theorem Proving First International Conference ITP 2010 Edinburgh UK July 11 14 2010 Proceedings(2010 Edition)
Authors:
Matt Kaufmann ,Lawrence C. Paulson
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $121.12
Savings: $121.12(100%)