Go back
Mechanizing Proof Computing Risk And Trust(1st Edition)
Authors:
Donald MacKenzie
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $40.00
Savings: $40(100%)
Book details
ISBN: 0262632950, 978-0262632959
Book publisher: The MIT Press
Frequently Bought Together
The Intuitive Engineer Memoir Of An Aerospace Engineer/rocket Scientist - 1st Edition
Julian H Linder
ISBN: 1478762691, 978-1478762690
$0 $12.65
Federal Taxation 2016 Comprehensive - 29th Edition
Thomas R. Pope
ISBN: 134104374, 978-0134104379
$0 $326.65
Modern Business Statistics With Microsoft Excel - 7th Edition
David R. Anderson
ISBN: 035713138X, 978-0357131381
$0 $274.95
15 Math Concepts Every Data Scientist Should Know Understand And Learn How To Apply The Math Behind Data Science Algorithms - 1st Edition
David Hoyle
ISBN: 1837634181, 978-1837634187
$0 $44.99
Blue And Gray 1942 - 1st Edition
Washington-Lee High School
ISBN: 1013337387, 978-1013337383
$0 $78.00