Stock Photo: Cover May Be Different
Mechanizing Proof Computing, Risk, and Trust (Inside Technology) Hardcover - 2001
by Donald MacKenzie
Details
- Title Mechanizing Proof Computing, Risk, and Trust (Inside Technology)
- Author Donald MacKenzie
- Binding Hardcover
- Edition 1st
- Pages 434
- Publisher The MIT Press, Cambridge
- Date October 1, 2001
- ISBN 9780262133937
More Copies for Sale
Stock Photo: Cover May Be Different
Mechanizing Proof � Computing, Risk & Trust: Computing, Risk, and Trust (Inside Technology)
by Mackenzie, Donald
- Used
- very good
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
Thetford, Norfolk, United Kingdom
- Item Price
-
$7.96$63.34 shipping to USA
Show Details
Description:
MIT Press, 02/11/2001 00:00:01. hardcover. Very Good. 3.0677 in x 23.3023 in x 16.1977 in.
Item Price
$7.96
$63.34
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Proof: Computing, Risk, and Trust
by Donald Mackenzie
- Used
- good
- Condition
- Used - Good
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
$39.94$12.00 shipping to USA
Show Details
Description:
MIT Press, 2001. Good. Former library book. Signs of wear on the cover. No dust jacket. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
$39.94
$12.00
shipping to USA
Mechanizing Proof: Computing, Risk, and Trust
by MacKenzie, Donald
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
Ithaca, New York, United States
- Item Price
-
$40.00$3.00 shipping to USA
Show Details
Description:
Excellent condition, including DJ.
Item Price
$40.00
$3.00
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Proof : Computing, Risk, and Trust
by MacKenzie, Donald A
- Used
- Condition
- Used - Good
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
Reno, Nevada, United States
- Item Price
-
$59.09FREE shipping to USA
Show Details
Description:
MIT Press. Used - Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Item Price
$59.09
FREE shipping to USA
Stock Photo: Cover May Be Different
MECHANIZING PROOF: COMPUTING, RISK, AND TRUST
by DONALD MACKENZIE,
- New
- Hardcover
- first
- Condition
- New
- Edition
- 1st
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$63.00$10.00 shipping to USA
Show Details
Description:
Mit Press, 2001. 1st. Hardcover. New/New.
Item Price
$63.00
$10.00
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Proof
by Donald A MacKenzie Donald MacKenzie
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262133937 / 0262133938
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
$63.85$3.99 shipping to USA
Show Details
Description:
MIT Press , pp. 450 1st Edition . Hardback. Used.
Item Price
$63.85
$3.99
shipping to USA