Jackson, Daniel
QRcode
자료유형 | 도서 |
---|---|
서명/저자사항 | Software for dependable systems : 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. |
개인저자 | Jackson, Daniel. Thomas, Martyn. Millett, Lynette I. |
단체저자명 | National Research Council (U.S.). Committee onCertifiably Dependable Software Systems. |
발행사항 | Washington, D.C.: National Academies Press, c2007. |
형태사항 | xv, 131 p.: ill.; 23 cm. |
가격정보 | $35.75 |
ISBN | 9780309103947 |
서지주기 | Includes bibliographical references (p. 110-116). |
일반주제명 | Computer software -- Reliability. Systems software -- Reliability. Software engineering. |
분류기호 | 566.83 |
언어 | 영어 |
서평 (0 건)
*주제와 무관한 내용의 서평은 삭제될 수 있습니다.
서평추가