| 000 | 00995camuu2200277 a 4500 | |
| 001 | 000000883378 | |
| 005 | 20040608144001 | |
| 008 | 961217s1997 nyu b 001 0 eng | |
| 010 | ▼a 96029771 | |
| 020 | ▼a 0387948961 (hardcover : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d 211009 | |
| 049 | 1 | ▼l 121095150 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.76.V47 ▼b A67 1997 |
| 082 | 0 0 | ▼a 005.1/4 ▼2 21 |
| 090 | ▼a 005.14 ▼b A655v2 | |
| 100 | 1 | ▼a Apt, Krzysztof R., ▼d 1949- |
| 245 | 1 0 | ▼a Verification of sequential and concurrent programs / ▼c Krzysztof R. Apt, Ernst-Ru<diger Olderog. |
| 250 | ▼a 2nd ed. | |
| 260 | ▼a New York : ▼b Springer-Verlag, ▼c c1997. | |
| 300 | ▼a xvii, 364 p. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Graduate texts in computer science |
| 504 | ▼a Includes bibliographical references (p. [343]-352) and indexes. | |
| 650 | 0 | ▼a Computer software ▼x Verification. |
| 700 | 1 | ▼a Olderog, E.-R. |
| 830 | 0 | ▼a Graduate texts in computer science (Springer-Verlag New York Inc.) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.14 A655v2 | 등록번호 121095150 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |