02760nam a22005171i 4500 EBC1477301 MiAaPQ 20250821130546.0 m o d | cr cnu|||||||| 131022t20132013ne a ob 101 0 eng d 9781614992066 9781614992073 (electronic bk.) (MiAaPQ)EBC1477301 (Au-PeEL)EBL1477301 (CaPaEBR)ebr10785476 (CaONFJC)MIL988908 (OCoLC)863822120 MiAaPQ eng rda pn MiAaPQ MiAaPQ QA76.76.V47 N38 2012 005.1/4 23 NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) 552106 Engineering dependable software systems / edited by Manfred Broy, Doron Peled and Georg Kalus. Amsterdam ; Washington, D. C. : IOS Press, [2013] 2013 1 online resource (376 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34 "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. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Computer software Verification Congresses. 552107 Computer systems Verification Congresses. 552108 Electronic books. 35142 Broy, M., 1949- 552109 Kalus, Georg. 552110 Peled, Doron, 1962- 552111 Print version: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) Engineering dependable software systems. Amsterdam ; Washington, D. C. : IOS Press, [2013] ix, 365 pages : illustrations NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. 9781614992066 ProQuest (Firm) NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. 552112 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1477301 Click to View 309666 309666