01761nam a2200373Ia 4500001001200000003000800012005001700020006001900037007001500056008004100071020001500112020001800127040002100145035002100166050002800187082001200215090001800227110010100245245034900346260005800695300002300753504005400776533015200830650004300982650002601025650004301051655003401094700002901128700003101157700002801188710002201216856013101238999001801369ebr10194168CaPaEBR20260707181601.0m        u        cr cn|||||||||070706s2007    dcua    sb    000 0 eng d  z0309103940  z9780309103947  aCaPaEBRcCaPaEBR  a(OCoLC)64766385014aQA76.76.R44bN35 2007eb04a005222  c125162d991282 aNational Research Council (U.S.).bCommittee on Certifiably Dependable Software Systems.917001610aSoftware 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.954934 0aSoftware engineering. 0aSystems softwarexReliability.9170017 7aElectronic books.2local91901 aJackson, Daniel.91700181 aMillett, Lynette I.9943061 aThomas, Martyn.91700192 aebrary, Inc.919140uhttp://site.ebrary.com/lib/strathmore/Doc?id=10194168zAn electronic book accessible through the World Wide Web; click to view  c125162d99128