Join Books.org — it's free
Home > Books > Mechanizing Proof: Computing, Risk, and Trust

Computers & the Internet, Computer Science
Mechanizing Proof: Computing, Risk, and Trust by Donald MacKenzie — book cover

Mechanizing Proof: Computing, Risk, and Trust

by Donald MacKenzie
Write a review
Log in to track your reading progress.

Other editions of Mechanizing Proof: Computing, Risk, and Trust by Donald MacKenzie

Mechanizing Proof: Computing, Risk, and Trust
Publisher MIT Press
Published March 2004
Format Paperback · 440 pages
ISBN 9780262632959