An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model - Mitchell David Irwin Hirschfeld - Libros - Biblioscholar - 9781288417209 - 7 de diciembre de 2012
En caso de que portada y título no coincidan, el título será el correcto

An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic
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