| 000 | 01308camuu2200289 a 4500 | |
| 001 | 000045414047 | |
| 005 | 20080110150201 | |
| 008 | 080110s2007 dcua b 000 0 eng d | |
| 020 | ▼a 0309103940 | |
| 020 | ▼a 9780309103947 | |
| 040 | ▼a YDXCP ▼c YDXCP ▼d BTCTA ▼d BAKER ▼d AZS ▼d IXA ▼d COF ▼d 211009 | |
| 050 | 4 | ▼a QA76.76.R44 ▼b N35 2007 |
| 082 | 0 4 | ▼a 005.3 ▼2 22 |
| 090 | ▼a 005.3 ▼b N277s | |
| 110 | 2 | ▼a National Research Council (U.S.). ▼b Committee onCertifiably Dependable Software Systems. |
| 245 | 1 0 | ▼a Software for dependable systems : ▼b sufficient evidence? / ▼c 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. |
| 260 | ▼a Washington, D.C. : ▼b National Academies Press , ▼c c2007. | |
| 300 | ▼a xv, 131 p. : ▼b ill. ; ▼c 23 cm. | |
| 504 | ▼a Includes bibliographical references (p. 110-116). | |
| 650 | 0 | ▼a Computer software ▼x Reliability. |
| 650 | 0 | ▼a Systems software ▼x Reliability. |
| 650 | 0 | ▼a Software engineering. |
| 700 | 1 | ▼a Jackson, Daniel. |
| 700 | 1 | ▼a Thomas, Martyn. |
| 700 | 1 | ▼a Millett, Lynette I. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.3 N277s | 등록번호 121163801 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |