A sociological approach to the history of proof, as applied to and performed by computer systems.
Read More
A sociological approach to the history of proof, as applied to and performed by computer systems.
Read Less
Book Details
Seller
Sort
Seller Rating
Price: Low to High
Price: High to Low
Pub Date
Pub Date: Reverse
Sellers Near Me
Trade paperback,
New
2004, MIT Press
ISBN-13:
9780262632959
See Item Details ▾
Alibris
BEST
NV, USA
$45.63
Add to Cart
Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $45.63, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2004 by MIT Press.
Edition: 2004, MIT Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
2004
Language:
English
Alibris ID:
17932408007
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Two Day Air: $29.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Glued binding. 440 p. Inside Technology.
Hide Details ▴
Trade paperback,
New
2004, MIT Press
ISBN-13:
9780262632959
See Item Details ▾
BargainBookStores
HIGH
Grand Rapids,
MI,
USA
$53.60
Add to Cart
Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $53.60, new condition, Sold by BargainBookStores rated 4.0 out of 5 stars, ships from Grand Rapids, MI, UNITED STATES, published 2004 by Mit Press.
Edition: 2004, MIT Press
Trade paperback,
New
Available Copies: 5
Details: ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
1/30/2004
Language:
English
Alibris ID:
18060217795
Shipping Options: Standard Shipping: $4.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New in New jacket. Mechanizing Proof: Computing, Risk, and Trust (Paperback or Softback)
Hide Details ▴
Trade paperback,
New
2004, MIT Press
ISBN-13:
9780262632959
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$103.28
Add to Cart
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $103.28, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2004 by The MIT Press.
Edition: 2004, MIT Press
Trade paperback,
New
Available Copies: 2
Details: ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
2004
Language:
English
Alibris ID:
17288619813
Shipping Options: Standard Shipping: $4.99
Trackable Expedited: $9.99
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New.
Hide Details ▴
ISBN-13: 9780262632959
Trade paperback
ISBN-13: 9780262133937
Hardcover
All Editions of Mechanizing Proof: Computing, Risk, and Trust
Books by Donald A MacKenzie
