Mechanizing Proof
Computing, Risk, and Trust
Edición de la obra Mechanizing Proof
| Autor | Donald Mackenzie |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| Páginas | 440 |
| ISBN-13 | 9780262278829 |
| Número de Cutter | M156m |
Computing, Risk, and Trust
Edición de la obra Mechanizing Proof
| Autor | Donald Mackenzie |
|---|---|
| Editorial | MIT Press |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| Páginas | 440 |
| ISBN-13 | 9780262278829 |
| Número de Cutter | M156m |