| 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) |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 004.21 V516 | Accession No. 121055911 | Availability Available | Due Date | Make a Reservation | Service |