Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Buscar
What happened to formal method...
Descripción
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
What happened to formal methods for security?
Detalles Bibliográficos
Autor principal:
Schaffer, Kim
(autora)
Otros Autores:
Voas, Feffrey
(autor)
Formato:
Artículo
Lenguaje:
English
Materias:
SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN
SEGURIDAD (INFORMATICA)
ALMACENAMIENTO DE INFORMACION
GESTIÓN DE LA INFORMACIÓN
CALIDAD
Existencias
Descripción
Ejemplares similares
Vista Equipo
Descripción
Descripción no disponible.
Ejemplares similares
Real-Time computing on multicore processors
por: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
por: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
por: Long, Larry, et al.
Publicado: (1999)
Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1990)
What the FUD? : whose system is this, anyway? /
por: Pace, Andrew K.
×
Cargando...