| 000 | 00792camuuu200253 a 4500 | |
| 001 | 000000109593 | |
| 005 | 19980527134511.0 | |
| 008 | 920707s1992 enka b 001 0 eng | |
| 010 | ▼a 92025895 | |
| 015 | ▼a GB93-11280 | |
| 020 | ▼a 0201416085 : ▼c $34.00 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | 1 | ▼l 121024507 ▼f 과학 ▼l 421119111 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.76.V47 ▼b F73 1992 |
| 082 | 0 0 | ▼a 005.1/4 ▼2 20 |
| 090 | ▼a 005.14 ▼b F915p | |
| 100 | 1 | ▼a Francez, Nissim. |
| 245 | 1 0 | ▼a Program verification / ▼c Francez Nissim. |
| 260 | ▼a Wokingham, Eng. ; ▼a Reading, Mass. : ▼b Addison-Wesley Pub. Co., ▼c c1992. | |
| 300 | ▼a xi, 312 p. : ▼b ill. ; ▼c 24 cm. | |
| 504 | ▼a Includes bibliographical references (p. 295-303) and index. | |
| 650 | 0 | ▼a Computer software ▼x Verification. |
| 653 | 0 | ▼a Programming |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.14 F915p | 등록번호 121024507 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.14 F915p | 등록번호 421119111 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |