Mechanizing Proof
Computing, Risk, and Trust
Edición de la obra Mechanizing Proof
| Autor | Donald A. MacKenzie |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2001 |
| Idioma | inglés |
| ISBN-13 | 9780585436739 |
| Número de Cutter | M156m |
Computing, Risk, and Trust
Edición de la obra Mechanizing Proof
| Autor | Donald A. MacKenzie |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2001 |
| Idioma | inglés |
| ISBN-13 | 9780585436739 |
| Número de Cutter | M156m |