000391730 000__ 01586cam\a2200361Ia\4500
000391730 001__ 391730
000391730 005__ 20210513135946.0
000391730 006__ m\\\\\\\\u\\\\\\\\
000391730 007__ cr\cn|||||||||
000391730 008__ 070706s2007\\\\dcua\\\\sb\\\\000\0\eng\d
000391730 020__ $$z0309103940
000391730 020__ $$z9780309103947
000391730 035__ $$a(CaPaEBR)ebr10194168
000391730 035__ $$a(OCoLC)647663850
000391730 040__ $$aCaPaEBR$$cCaPaEBR
000391730 05014 $$aQA76.76.R44$$bN35 2007eb
000391730 08204 $$a005$$222
000391730 1102_ $$aNational Research Council (U.S.).$$bCommittee on Certifiably Dependable Software Systems.
000391730 24510 $$aSoftware for dependable systems$$h[electronic resource] :$$bsufficient evidence? /$$cDaniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
000391730 260__ $$aWashington, D.C. :$$bNational Academies Press,$$cc2007.
000391730 300__ $$axv, 131 p. :$$bill.
000391730 504__ $$aIncludes bibliographical references (p. 110-116).
000391730 506__ $$aAccess limited to authorized users.
000391730 650_0 $$aComputer software$$xReliability.
000391730 650_0 $$aSoftware engineering.
000391730 650_0 $$aSystems software$$xReliability.
000391730 655_7 $$aElectronic books.$$2lcsh
000391730 7001_ $$aJackson, Daniel.
000391730 7001_ $$aMillett, Lynette I.
000391730 7001_ $$aThomas, Martyn.
000391730 85280 $$bebk$$hProquest Ebook Central Academic Complete
000391730 85640 $$3ProQuest Ebook Central Academic Complete$$uhttps://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10194168$$zOnline Access
000391730 909CO $$ooai:library.usi.edu:391730$$pGLOBAL_SET
000391730 980__ $$aEBOOK
000391730 980__ $$aBIB
000391730 982__ $$aEbook
000391730 983__ $$aOnline