Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
2001
QA76.76.R44 M36 2001 (Mapit)
Available at General Collection
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Mechanizing proof : computing, risk, and trust / Donald MacKenzie.
Author
ISBN
0262133938 (alk. paper)
Published
Cambridge, Mass. : MIT Press, [2001]
Copyright
©2001
Language
English
Description
xi, 427 pages : illustrations ; 24 cm.
Call Number
QA76.76.R44 M36 2001
Dewey Decimal Classification
004/.2/1
Bibliography, etc. Note
Includes bibliographical references (p. [335]-418) and index.
Series
Inside technology.
Record Appears in