Software for dependable systems sufficient evidence? /
Software for dependable systems sufficient evidence? / [electronic resource] :
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.
- Washington, D.C. : National Academies Press, c2007.
- xv, 131 p. : ill.
Includes bibliographical references (p. 110-116).
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer software--Reliability.
Software engineering.
Systems software--Reliability.
Electronic books.
QA76.76.R44 / N35 2007
005
Includes bibliographical references (p. 110-116).
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Computer software--Reliability.
Software engineering.
Systems software--Reliability.
Electronic books.
QA76.76.R44 / N35 2007
005