Record:   Prev Next
作者 Jackson, Daniel
書名 Software for Dependable Systems : Sufficient Evidence?
出版項 Washington, D.C. : National Academies Press, 2007
©2007
國際標準書號 9780309667388 (electronic bk.)
9780309103947
book jacket
說明 1 online resource (147 pages)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
附註 FrontMatter -- Preface -- Acknowledgment of Reviewers -- Contents -- Summary -- 1 Assessment: Software Systems and Dependability Today -- 2 Proposed Approach -- 3 Broader Issues -- 4 Findings and Recommendations -- 5 Bibliography -- Appendixes -- A: Biographies of Committee Members and Staff -- B: Open Session Briefers -- C: Statement of Task
Description based on publisher supplied metadata and other sources
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2020. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries
鏈接 Print version: Jackson, Daniel Software for Dependable Systems : Sufficient Evidence? Washington, D.C. : National Academies Press,c2007 9780309103947
主題 Computer software -- Reliability.;Software engineering.;Systems software -- Reliability
Electronic books
Alt Author Thomas, Martyn
Millett, Lynette I
Council, National Research
Sciences, Division on Engineering and Physical
Board, Computer Science and Telecommunications
Systems, Committee on Certifiably Dependable Software
Millett, Lynette I
Record:   Prev Next