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.

No ratings yet.

Log in to write a review.

Show only reviews of this edition

There are no reviews yet.