02127nam 2200613Ia 450 991077811920332120221206094008.00-309-17929-71-280-94144-897866109414450-309-66738-0(CKB)1000000000478357(OCoLC)567827789(CaPaEBR)ebrary10194168(SSID)ssj0000248138(PQKBManifestationID)11193263(PQKBTitleCode)TC0000248138(PQKBWorkID)10219463(PQKB)11119914(Au-PeEL)EBL3378266(CaPaEBR)ebr10194168(CaONFJC)MIL94144(OCoLC)923277140(MiAaPQ)EBC3378266(EXLCZ)99100000000047835720070706d2007 uy 0engurcn|||||||||txtccrSoftware for dependable systems[electronic resource] sufficient evidence? /Daniel 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 AcademiesWashington, D.C. National Academies Pressc20071 online resource (147 p.) Bibliographic Level Mode of Issuance: Monograph0-309-10394-0 Includes bibliographical references (p. 110-116).Computer softwareReliabilitySoftware engineeringSystems softwareReliabilityComputer softwareReliability.Software engineering.Systems softwareReliability.005Jackson Daniel64013Millett Lynette I1462377Thomas Martyn1527601MiAaPQMiAaPQMiAaPQBOOK9910778119203321Software for dependable systems3770579UNINA