Seller: HPB-Red, Dallas, TX, U.S.A.
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Condition: very_good.
Condition: New.
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Mechanizing Proof: Computing, Risk, and Trust. Book.
Language: English
Published by The MIT Press, 2001
Seller: The Book House (PBFA), Northallerton, United Kingdom
Association Member: PBFA
US$ 25.09
Quantity: 1 available
Add to basketHardcover. Condition: Very Good. Dust Jacket Condition: Very Good. Octavo, 427 pages, index.
Seller: Better World Books Ltd, Dunfermline, United Kingdom
US$ 45.91
Quantity: 1 available
Add to basketCondition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 55.39
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 55.38
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 62.41
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
US$ 78.02
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 440 pages. 8.50x5.50x1.00 inches. In Stock.
Seller: GoldBooks, Denver, CO, U.S.A.
Condition: new.
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
US$ 64.39
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Most aspects of our private and social livesour safety, the integrity of the financial system, the functioning of utilities and other services, and national securitynow depend on computing. But how can we know that this computing is trustworthy In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Mechanizing Proof | Computing, Risk, and Trust | Donald Mackenzie | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | MIT Press | EAN 9780262632959 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.