Mechanizing Proof Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Mechanizing Proof: Computing, Risk, and Trust by Donald Angus MacKenzie
26 ratings, 4.38 average rating, 3 reviews

Mechanizing Proof Quotes Showing 0-0 of 0

All Quotes
Quotes By Donald Angus MacKenzie