Skip to main content alibris logo

Mechanizing Proof: Computing, Risk, and Trust

by

Write The First Customer Review
Mechanizing Proof: Computing, Risk, and Trust - MacKenzie, Donald
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

A sociological approach to the history of proof, as applied to and performed by computer systems.

loading
Mechanizing Proof: Computing, Risk, and Trust 2004, MIT Press, Cambridge

ISBN-13: 9780262632959

Trade paperback

Mechanizing Proof: Computing, Risk, and Trust 2001, MIT Press (MA), Cambridge, MA

ISBN-13: 9780262133937

Hardcover