01642nam a2200349Ia 4500001001200000003000800012006001900020007001500039008004100054020001500095020001800110040002100128035002100149050002800170082001200198110009300210245034900303260005800652300002300710504005400733533015200787650003600939650002600975650003501001655002901036700002101065700002401086700002001110710001701130856012601147999001901273ebr10194168CaPaEBRm        u        cr cn|||||||||070706s2007    dcua    sb    000 0 eng d  z0309103940  z9780309103947  aCaPaEBRcCaPaEBR  a(OCoLC)56782778914aQA76.76.R44bN35 2007eb04a0052222 aNational Research Council (U.S.).bCommittee on Certifiably Dependable Software Systems.10aSoftware for dependable systemsh[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.  aWashington, D.C. :bNational Academies Press,cc2007.  axv, 131 p. :bill.  aIncludes bibliographical references (p. 110-116).  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2009.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aComputer softwarexReliability. 0aSoftware engineering. 0aSystems softwarexReliability. 7aElectronic books.2local1 aJackson, Daniel.1 aMillett, Lynette I.1 aThomas, Martyn.2 aebrary, Inc.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10194168zAn electronic book accessible through the World Wide Web; click to view  c114578d114578