Mechanizing proof : computing, risk, and trust
Donald MacKenzie
| Year of publication: |
2001
|
|---|---|
| Authors: | MacKenzie, Donald A. |
| Publisher: |
Cambridge, Mass. [u.a.] : MIT Press |
| Subject: | Computer systems | Reliability | Computers and civilization | Informatik | Historische Soziologie |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | XI, 427 S. : Ill., graph. Darst. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-262-13393-8 |
| Classification: | Logikprogrammierung ; Informatik in Beziehung zu Mensch und Gesellschaft |
| Source: |
Persistent link: https://www.econbiz.de/10004715911