Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus.
Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 34.Publisher: Amsterdam ; Washington, D. C. : IOS Press, [2013]Copyright date: �2013Description: 1 online resource (376 pages) : illustrationsContent type:- text
- computer
- online resource
- 9781614992073 (e-book)
- 9781614992066
- 005.1/4 23
- QA76.76.V47 N38 2012eb

"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso.
"Published in cooperation with NATO Emerging Security Challenges Division."
Includes bibliographical references and indexes.
Description based on print version record.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.