Software and systems safety [electronic resource] : specification and verification / edited by Manfred Broy, Christian Leuxner and Tony Hoare.
Contributor(s): Broy, Manfred | Leuxner, Christian | Hoare, A. G | ebrary, Inc
| NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification (2010 : Marktoberdorf, Germany).
Series: NATO science for peace and security series. v. 30Sub-series DInformation and communication security. Publisher: Amsterdam, The Netherlands : IOS Press, 2011Description: ix, 285 p. : ill. (some col.).Subject(s): Software protection -- Congresses | Computer software -- Reliability -- Congresses | Software engineering -- Congresses | Computer security -- Congresses | System safety -- CongressesGenre/Form: Electronic books.Online resources: An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references and indexes.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.