000444771 000__ 01696cam\a2200397\a\4500
000444771 001__ 444771
000444771 005__ 20210513154210.0
000444771 006__ m\\\\\\\\u\\\\\\\\
000444771 007__ cr\cn|||||||||
000444771 008__ 110209s2011\\\\ne\a\\\\sb\\\\101\0\eng\d
000444771 010__ $$z  2011922667
000444771 020__ $$z9781607507109
000444771 020__ $$z9781607507116 (e-book)
000444771 035__ $$a(CaPaEBR)ebr10506356
000444771 035__ $$a(OCoLC)756484723
000444771 040__ $$aCaPaEBR$$cCaPaEBR
000444771 05014 $$aQA76.76.P76$$bS64 2011eb
000444771 24500 $$aSoftware and systems safety$$h[electronic resource] :$$bspecification and verification /$$cedited by Manfred Broy, Christian Leuxner and Tony Hoare.
000444771 260__ $$aAmsterdam, The Netherlands :$$bIOS Press,$$c2011.
000444771 300__ $$aix, 285 p. :$$bill. (some col.).
000444771 440_0 $$aNATO science for peace and security series.$$nSub-series D,$$pInformation and communication security,$$x1874-6268 ;$$vv. 30
000444771 504__ $$aIncludes bibliographical references and indexes.
000444771 506__ $$aAccess limited to authorized users.
000444771 650_0 $$aSoftware protection$$vCongresses.
000444771 650_0 $$aComputer software$$xReliability$$vCongresses.
000444771 650_0 $$aSoftware engineering$$vCongresses.
000444771 650_0 $$aComputer security$$vCongresses.
000444771 650_0 $$aSystem safety$$vCongresses.
000444771 655_7 $$aElectronic books.$$2lcsh
000444771 7001_ $$aBroy, Manfred.
000444771 7001_ $$aLeuxner, Christian.
000444771 7001_ $$aHoare, A. G.
000444771 7112_ $$aNATO Advanced Study Institute on Software and Systems Safety : Specification and Verification$$d(2010 :$$cMarktoberdorf, Germany)
000444771 852__ $$bebk
000444771 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10506356$$zOnline Access
000444771 909CO $$ooai:library.usi.edu:444771$$pGLOBAL_SET
000444771 980__ $$aEBOOK
000444771 980__ $$aBIB
000444771 982__ $$aEbook
000444771 983__ $$aOnline