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.
By: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems.
Contributor(s): Jackson, Daniel | Millett, Lynette I | Thomas, Martyn | ebrary, Inc.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=10194168 | 1 | Available |
Total holds: 0
Includes bibliographical references (p. 110-116).
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.