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
Online Access
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
National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
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
Jackson, Daniel.
Millett, Lynette I.
Thomas, Martyn.
Millett, Lynette I.
Thomas, Martyn.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources