Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
By: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany).
Contributor(s): Nipkow, Tobias | Grumberg, Orna | Hauptmann, Benedikt | NATO Emerging Security Challenges Division | ebrary, Inc.
Material type:
BookSeries: NATO science for peace and security seriesSub-series DInformation and communication security: v. 33.Publisher: Washington, D.C. : IOS Press, 2012Description: ix, 387 p. : ill.Subject(s): Computer software -- Verification -- Congresses | Computer security -- CongressesGenre/Form: Electronic books.Online resources: An electronic book accessible through the World Wide Web; click to view
| Item type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
|---|---|---|---|---|---|---|---|---|
E-book
|
IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10574718 | 1 | Available |
"Published in cooperation with NATO Emerging Security Challenges Division."
"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
Includes indexes.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.