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
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 331966106X, 978-3319661063
Book publisher: Springer
Frequently Bought Together
Contextualization Of Project Management Practice And Best Practice - 1st Edition
Claude Besner
ISBN: 1935589563, 1628250100, 9781935589563, 9781628250107
$0 $33.99
Navigation Log This Navigation Log Is Perfect For Pilots Who Are Doing Last Checks Of Equipment Before Takeoff - 1st Edition
Navgox
ISBN: B0BQY1SB6J
$0 $7.99
Operations And Supply Chain Management - 14th Edition
F. Robert Jacobs
ISBN: 978-0077824921, 78024021, 9780077823344, 007782492X, 77823346, 978-0078024023
$0 $311.50
Personal Financial Planning - 14th edition
Randy Billingsley
ISBN: 978-1305887725, 1305887727, 1305636619, 978-1305636613
$0 $249.95
Contemporary Trends In Marketing Problems Processes And Prospects Palgrave Studies In Marketing Organizations And Society - 1st Edition
Aarti Saini
ISBN: 3031365887, 978-3031365881
$0 $122.69
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