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 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $40.00
Savings: $40(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Mechanizing Proof Computing Risk And Trust
Price:
$9.99
/month
Book details
ISBN: 0262632950, 978-0262632959
Book publisher: The MIT Press
Frequently Bought Together
Complex Variables - 2nd Edition
Stephen D. Fisher
ISBN: 0486406792, 0486134849, 9780486406794, 9780486134840
$0 $11.20
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Blue And Gray 1942 - 1st Edition
Washington-Lee High School
ISBN: 1013337387, 978-1013337383
$0 $78.00