Recomienda este artículo a tus amigos:
An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model Mitchell David Irwin Hirschfeld
An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model
Mitchell David Irwin Hirschfeld
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 7 de diciembre de 2012 |
| ISBN13 | 9781288417209 |
| Editores | Biblioscholar |
| Páginas | 104 |
| Dimensiones | 189 × 246 × 6 mm · 199 g |