Software and systems safety : specification and verification /

Mostrar otras versiones (1)

Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the c...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification Marktoberdorf, Germany
Otros Autores: Broy, M., 1949- (Editor ), Leuxner, Christian (Editor ), Hoare, C. A. R. (Charles Antony Richard), 1934- (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2011.
Colección:NATO science for peace and security series. Information and communication security ; v. 30.
Temas:
Computer software > Verification > Congresses.
Software engineering > Congresses.
Computer security > Congresses.
Logiciels > Vérification > Congrès.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > General.
COMPUTERS > Software Development & Engineering > Tools.
Computer security
Computer software > Verification
Software engineering
Conference papers and proceedings
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Items no disponibles

Detalle de Existencias desde

Ejemplares similares