Go back
Interactive Theorem Proving 8th International Conference Itp 2017 Bras Lia Brazil September 26 29 2017 Proceedings(1st Edition)
Authors:
Mauricio Ayala-Rincon ,Cesar A. Munoz
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: $54.99
Savings: $54.99(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 8th International Conference Itp 2017 Bras Lia Brazil September 26 29 2017 Proceedings
Price:
$9.99
/month
Book details
ISBN: 331966106X, 978-3319661063
Book publisher: Springer
Frequently Bought Together
Principles of Accounting - 11th Edition
Needles
ISBN: 1439037744, 978-1133626985, 978-1439037744
$0 $59.91
An Introduction to Geotechnical Engineering - 2nd edition
Robert D. Holtz
ISBN: 132496348, 978-0132496346
$0 $84.97
Recapitalism For The Wealth Of People - 1st Edition
Adam Gallagher
ISBN: B0CKTZZNWW, B0CK29LRQ5
$0 $0.00
The Official Guide To Mermaid Js Create Complex Diagrams And Beautiful Flowcharts Easily Using Text And Code - 1st Edition
Knut Sveidqvist
ISBN: 1801078025, 978-1801078023
$0 $30.00