Go back

Mechanizing Proof Computing Risk And Trust(1st Edition)

Authors:

Donald MacKenzie

Free mechanizing proof computing risk and trust 1st edition donald mackenzie 0262632950, 978-0262632959
6 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
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%)
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