| 000 | 01274camuu22003014a 4500 | |
| 001 | 000000720115 | |
| 005 | 20011004134357 | |
| 008 | 990629s2000 gw a b 101 0 eng | |
| 010 | ▼a 99038271 | |
| 020 | ▼a 3540655956 (hardcover : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d OHX ▼d C#P ▼d 211009 | |
| 042 | ▼a pcc | |
| 049 | 1 | ▼l 121055911 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.76.V47 ▼b V47 2000 |
| 072 | 7 | ▼a QA ▼2 lcco |
| 082 | 0 0 | ▼a 004.2/1 ▼2 21 |
| 090 | ▼a 004.21 ▼b V516 | |
| 245 | 0 0 | ▼a Verification of digital and hybrid systems / ▼c edited by M. Kemal Inan, Robert P. Kurshan. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c2000. | |
| 300 | ▼a xviii, 405 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a NATO ASI series. ▼n Series F, ▼p Computer and systems sciences ; ▼v no. 170 |
| 500 | ▼a "Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Verso t.p. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer systems ▼x Verification ▼v Congresses. |
| 700 | 1 | ▼a Inan, M. Kemal , ▼d 1942- |
| 700 | 1 | ▼a Kurshan, R. P. , ▼d 1943- |
| 711 | 2 | ▼a NATO Advanced Study Institute on Verification of Digital and Hybrid Systems ▼d (1997 : ▼c Antalya, Turkey) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 004.21 V516 | 등록번호 121055911 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |