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
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Hardcover,
Good
2001, MIT Press (MA)
ISBN-13:
9780262133937
See Item Details ▾
Bonita
HIGH
Newport Coast,
CA,
USA
$104.78
Add to Cart
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $104.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2001 by Mit Pr.
Edition: 2001, MIT Press (MA)
Hardcover,
Good
Details: ISBN:
0262133938
ISBN-13:
9780262133937
Pages:
450
Publisher:
MIT Press (MA)
Published:
2001
Language:
English
Alibris ID:
17798468082
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: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
ISBN-13: 9780262632959
Trade paperback
ISBN-13: 9780262133937
Hardcover
