000411277 000__ 01106cam\a2200289Ia\4500 000411277 001__ 411277 000411277 005__ 20210513143358.0 000411277 006__ m\\\\\\\\u\\\\\\\\ 000411277 007__ cr\cn||||||||| 000411277 008__ 081229s2009\\\\dcu\\\\\sb\\\\001\0\eng\d 000411277 020__ $$z9781586039769 000411277 035__ $$a(CaPaEBR)ebr10309220 000411277 035__ $$a(OCoLC)647816482 000411277 040__ $$aCaPaEBR$$cCaPaEBR 000411277 05014 $$aTA345$$b.E64 2009eb 000411277 24500 $$aEngineering methods and tools for software safety and security$$h[electronic resource] /$$c[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare. 000411277 260__ $$aWashington, DC :$$bIOS Press,$$c2009. 000411277 300__ $$aix, 333 p. 000411277 4900_ $$aNATO science for peace and security series 000411277 504__ $$aIncludes bibliographical references and index. 000411277 506__ $$aAccess limited to authorized users. 000411277 650_0 $$aEngineering$$xData processing. 000411277 650_0 $$aEngineering$$xMethodology. 000411277 655_7 $$aElectronic books.$$2lcsh 000411277 852__ $$bebk 000411277 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10309220$$zOnline Access 000411277 909CO $$ooai:library.usi.edu:411277$$pGLOBAL_SET 000411277 980__ $$aEBOOK 000411277 980__ $$aBIB 000411277 982__ $$aEbook 000411277 983__ $$aOnline