02102nam a2200409 a 4500 ebr10574718 CaPaEBR m u cr cn||||||||| 120417s2012 dcua s 101 0 eng d 2012937823 9781614990277 (hardcover) 9781614990284 (online) 9781614990284 (e-book) CaPaEBR CaPaEBR (OCoLC)802047753 QA76.76.V47 N38 2011eb NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany) Software safety and security [electronic resource] : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. Washington, D.C. : IOS Press, 2012. ix, 387 p. : ill. NATO science for peace and security series. Sub-series D, Information and communication security, 1874-6268 ; v. 33 "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. Computer software Verification Congresses. Computer security Congresses. Electronic books. local Nipkow, Tobias, 1958- Grumberg, Orna. Hauptmann, Benedikt. NATO Emerging Security Challenges Division. ebrary, Inc. NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33. http://site.ebrary.com/lib/rucke/Doc?id=10574718 An electronic book accessible through the World Wide Web; click to view 79393 79393