Research Catalog
Mechanizing proof : computing, risk, and trust
- Title
- Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
- Author
- MacKenzie, Donald A.
- Publication
- Cambridge, Mass. : MIT Press, c2001.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-104 | Offsite |
Details
- Description
- xi, 427 p. : ill.; 24 cm.
- Series Statement
- Inside technology
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [335]-418) and index.
- Call Number
- JSE 02-104
- ISBN
- 0262133938 (HC : alk. paper)
- LCCN
- 2001018687
- OCLC
- 45835532
- Author
- MacKenzie, Donald A.
- Title
- Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
- Imprint
- Cambridge, Mass. : MIT Press, c2001.
- Series
- Inside technology
- Bibliography
- Includes bibliographical references (p. [335]-418) and index.
- Research Call Number
- JSE 02-104