ExploreSign inJoin
Mechanizing Proof
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Mechanizing Proof Computing, Risk, and Trust

Donald A. MacKenzie — 2004
Sign up to use
A sociological approach to the history of proof, as applied to and performed by computer systems.

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.