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.
2007
QA76.76.R44 N35 2007eb
Linked e-resources
Linked Resource
Details
Title
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.
Corporate Author
ISBN
0309103940
9780309103947
9780309103947
Publication Details
Washington, D.C. : National Academies Press, c2007.
Language
English
Description
xv, 131 p. : ill.
Call Number
QA76.76.R44 N35 2007eb
Dewey Decimal Classification
005
Bibliography, etc. Note
Includes bibliographical references (p. 110-116).
Access Note
Access limited to authorized users.
Added Author
Linked Resources
Record Appears in