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%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Interactive Theorem Proving First International Conference ITP 2010 Edinburgh UK July 11 14 2010 Proceedings
Price:
$9.99
/month
Book details
ISBN: 3642140513, 978-3642140518
Book publisher: Springer
Frequently Bought Together
Nonlinear Problems Of Elasticity - Y 1st Edition
Stuart S. Antman
ISBN: 0387941991, 9780387941998
$0 $44.00
Principles of Corporate Finance - 13th edition
Richard Brealey
ISBN: 1260013901, 1260565553, 978-1260013900
$0 $180.87
Off Grid Solar Power Simplified For Rvs Vans Cabins Boats And Tiny Homes - 1st Edition
Nick Seghers
ISBN: B0BT7DZTN1, 979-8375486901
$0 $99.99
Crafting And Executing Strategy Concepts And Readings - 20th Edition
Arthur Thompson
ISBN: 1259297071, 9781259297076
$0 $204.52
Geometric Modelling Dagstuhl 2002 - 2004 Edition
S. Hahmann
ISBN: 3211208186, 978-3211208182
$0 $102.98
Computational Galerkin Methods - 1st Edition
C. A. J. Fletcher
ISBN: 3642859518, 978-3642859519
$0 $80.69