Cargando…

Engineering methods and tools for software safety and security /

Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany
Otros Autores: Broy, M., 1949-, Sitou, Wassiou, Hoare, C. A. R. (Charles Antony Richard), 1934-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.
Colección:NATO science for peace and security series. Information and communication security ; v. 22.
Temas:
Acceso en línea:Texto completo