Mechanizing proof : computing, risk, and trust /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©2001.
|
| Series: | Inside technology
|
| Subjects: |
| Physical Description: | 1 online resource (xi, 427 pages) : illustrations. |
|---|---|
| Bibliography: | Includes bibliographical references (pages 335-418) and index. |
| ISBN: | 9780262278829 0262278820 0585436738 9780585436739 |