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. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.




Engineering--Data processing.
Engineering--Methodology.


Electronic books.

TA345 / .E64 2009