Advanced search | The Library Supply Company

Filter Results

Large print only

Audiobooks only

Genre

Readership/Audience

Format

Publication Date

Publication Country

Availability

Subject

Mathematics and Science (1)

To view prices and purchase online, please login, or register for an account.

Mechanizing Proof

Mechanizing Proof: Computing, Risk, and Trust

(Paperback)

By: Donald MacKenzie

ISBN: 9780262632959 Copied!
Readership/Audience: Professional and Scholarly
Publication Date: Jan 2004
Publisher: MIT Press Ltd
See more...

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

This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.