Mechanizing proof
computing, risk, and trust
Edición de la obra Mechanizing proof
| Autor | Donald A. MacKenzie |
|---|---|
| Editorial | MIT Press |
| Lugar | Cambridge, Mass |
| Páginas | 427 |
| ISBN-10 | 0262133938 |
| LCCN | 2001018687 |
| Serie | Inside technology |
| Número de Cutter | M156m |
computing, risk, and trust
Edición de la obra Mechanizing proof
| Autor | Donald A. MacKenzie |
|---|---|
| Editorial | MIT Press |
| Lugar | Cambridge, Mass |
| Páginas | 427 |
| ISBN-10 | 0262133938 |
| LCCN | 2001018687 |
| Serie | Inside technology |
| Número de Cutter | M156m |