Skip to content
VuFind
  • Language
    • English
    • Español
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?
QR Code

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.

© Copyright 2024, Todos los Derechos Reservados SIIDCA-CSUCA

Loading...