Mechanizing Proof
by MacKenzie, Donald
Available Copies
Mechanizing Proof
by MacKenzie, Donald
- Condition
- Used
- Published
- 2001
- ISBN
- 9780262133937
- Quantity Available
- 1
- Seller
-
Ithaca, New York, USA
- Item Price
-
NZ$66.06
Show Details
Description:
Excellent condition, including DJ. Item Price
NZ$66.06
Mechanizing Proof: Computing, Risk, and Trust
by MacKenzie, Donald
- Condition
- Used - Good
- Published
- 2004
- Binding
- Paperback
- ISBN
- 9780262632959
- Quantity Available
- 1
- Seller
-
Seattle, Washington, USA
- Item Price
-
NZ$31.61
Show Details
Description:
MIT Press, 2004. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed. Item Price
NZ$31.61
MECHANIZING PROOF: COMPUTING, RISK, AND TRUST
by DONALD MACKENZIE,
- Condition
- New
- Jacket Condition
- New
- Edition
- 1st
- Published
- 2001
- Binding
- Hardcover
- ISBN
- 9780262133937
- Quantity Available
- 1
- Seller
-
New Delhi, IND
- Item Price
-
NZ$104.04
Show Details
Description:
Mit Press, 2001. 1st. Hardcover. New/New. Item Price
NZ$104.04
Mechanizing Proof: Computing, Risk, and Trust
by Donald Mackenzie
- Condition
- Used - Good
- Published
- 2001
- ISBN
- 9780262133937
- Quantity Available
- 1
- Seller
-
Morangis, FRA
- Item Price
-
NZ$65.96
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
NZ$65.96
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
by MacKenzie, Donald
- Condition
- New
- Published
- 2004-01-30
- Binding
- Paperback
- ISBN
- 9780262632959
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
NZ$153.27
Show Details
Description:
The MIT Press, 2004-01-30. Paperback. New. New. In shrink wrap. Looks like an interesting title! Item Price
NZ$153.27
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
by MacKenzie, Donald A.
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9780262133937
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
NZ$108.17
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
NZ$108.17
Mechanizing Proof: Computing, Risk, and Trust
by Donald Mackenzie
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9780262632959
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
NZ$101.50
Show Details
Description:
Paperback / softback. New. Item Price
NZ$101.50
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
by MacKenzie, Donald
- Condition
- Used - Good
- Binding
- Paperback
- ISBN
- 9780262632959
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
NZ$96.99
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
NZ$96.99