Software for dependable systems sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, editors. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
| Author/creator | National Research Council (U.S.). |
| Other author | Jackson, Daniel, 1963- |
| Other author | Thomas, Martyn, 1948- |
| Other author | Millett, Lynette I. |
| Format | Electronic |
| Publication Info | Washington, D.C. : National Academies Press, |
| Description | xv, 131 p. : ill. ; 23 cm. |
| Supplemental Content | Full text available from Ebook Central - Academic Complete |
| Subjects |
| Bibliography note | Includes bibliographical references (p. 110-116). |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2008531001 |
| ISBN | 0309103940 |
| ISBN | 9780309103947 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |