Mechanizing Proof: Computing, Risk, and Trust
| AUTHOR | MacKenzie, Donald |
| PUBLISHER | MIT Press (01/30/2004) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780262632959
ISBN-10:
0262632950
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
440
Carton Quantity:
18
Product Dimensions:
5.60 x 1.04 x 8.58 inches
Weight:
1.41 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Computer Science
Grade Level:
College Freshman
and up
Dewey Decimal:
004.21
Your Price
$39.60