Software 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 Academies

• Record Nr.: UNINA9910778119203321
• Pubbl/distr/stampa: Washington, D.C., : National Academies Press, c2007
• ISBN: 0-309-17929-7; 1-280-94144-8; 9786610941445; 0-309-66738-0
• Descrizione fisica: 1 online resource (147 p.)
• Altri autori (Persone): JacksonDaniel; MillettLynette I; ThomasMartyn
• Disciplina: 005
• Soggetti: Computer software - Reliability; Software engineering; Systems software - Reliability
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references (p. 110-116).