Engineering methods and tools for software safety and security
Engineering methods and tools for software safety and security [electronic resource] /
[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
- Washington, DC : IOS Press, 2009.
- ix, 333 p.
- NATO science for peace and security series .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2009.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Engineering--Data processing.
Engineering--Methodology.
Electronic books.
TA345 / .E64 2009eb
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2009.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Engineering--Data processing.
Engineering--Methodology.
Electronic books.
TA345 / .E64 2009eb