Engineering methods and tools for software safety and security /

Show other versions (1)

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security Marktoberdorf, Germany
Other Authors: Broy, M., 1949-, Sitou, Wassiou, Hoare, C. A. R. (Charles Antony Richard), 1934-
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2009.
Series:NATO science for peace and security series. Information and communication security ; v. 22.
Subjects:
Software engineering > Congresses.
Computer security > Congresses.
Génie logiciel > Congrès.
Sécurité informatique > Congrès.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Computer security.
Software engineering.
Conference papers and proceedings.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items