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
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2004, MIT Press
Trade paperback,
Very Good
Details:
ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
2004
Language:
English
Alibris ID:
18007550800
Shipping Options:
Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Edition:
2001, MIT Press (MA)
Hardcover
Details:
ISBN:
0262133938
ISBN-13:
9780262133937
Pages:
450
Publisher:
MIT Press (MA)
Published:
2001
Language:
English
Alibris ID:
18018670111
Shipping Options:
Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
First edition, first printing, 427 pp., hardcover, new in a fine dust jacket. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Hide Details ▴
Edition:
2004, MIT Press
Trade paperback,
New
Available Copies: 10+
Details:
ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
3/2/2004 12: 00: 00 AM
Language:
English
Alibris ID:
17912395589
Shipping Options:
Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Hide Details ▴
Edition:
2004, MIT Press
Trade paperback,
New
Available Copies: 10+
Details:
ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
3/2/2004 12: 00: 00 AM
Language:
English
Alibris ID:
17831162350
Shipping Options:
Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Hide Details ▴
Edition:
2004, MIT Press
Trade paperback,
Good
Available Copies: 2
Details:
ISBN:
0262632950
ISBN-13:
9780262632959
Pages:
440
Publisher:
MIT Press
Published:
2004
Language:
English
Alibris ID:
17906305750
Shipping Options:
Standard Shipping: $4.62
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 ▴
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.62
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 ▴
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:
17933558214
Shipping Options:
Standard Shipping: $4.62
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 ▴
Edition:
2001, MIT Press (MA)
Hardcover,
Good
Available Copies: 2
Details:
ISBN:
0262133938
ISBN-13:
9780262133937
Pages:
450
Publisher:
MIT Press (MA)
Published:
2001
Language:
English
Alibris ID:
17798468082
Shipping Options:
Standard Shipping: $4.62
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 ▴
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.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴
Edition:
2001, MIT Press (MA)
Hardcover,
New
Details:
ISBN:
0262133938
ISBN-13:
9780262133937
Pages:
450
Publisher:
MIT Press (MA)
Published:
2001
Language:
English
Alibris ID:
18028806267
Shipping Options:
Standard Shipping: $4.62
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴
2004,
MIT Press, Cambridge
ISBN-13: 9780262632959
Trade paperback
2001,
MIT Press (MA), Cambridge, MA
ISBN-13: 9780262133937
Hardcover
All Editions of Mechanizing Proof: Computing, Risk, and Trust
Books by Donald A MacKenzie