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

Mitchell David Irwin Hirschfeld
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
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Mitchell David Irwin Hirschfeld

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

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

Ver todo de Mitchell David Irwin Hirschfeld