Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
What happened to formal method...
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
What happened to formal methods for security?
Bibliographic Details
Main Author:
Schaffer, Kim
(autora)
Other Authors:
Voas, Feffrey
(autor)
Format:
Article
Language:
English
Subjects:
SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN
SEGURIDAD (INFORMATICA)
ALMACENAMIENTO DE INFORMACION
GESTIÓN DE LA INFORMACIÓN
CALIDAD
Holdings
Description
Similar Items
Staff View
Description
Description not available.
Similar Items
Real-Time computing on multicore processors
by: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
by: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
by: Long, Larry, et al.
Published: (1999)
Introducción a las computadoras y al procesamiento de información /
by: Long, Larry, et al.
Published: (1990)
What the FUD? : whose system is this, anyway? /
by: Pace, Andrew K.
×
Loading...