| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000045114721 | |
| 005 | 20150709115207 | |
| 008 | 040628s2004 maua b 001 0 eng | |
| 010 | ▼a 2003057704 | |
| 020 | ▼a 0321228626 | |
| 035 | ▼a KRIC09375881 | |
| 040 | ▼a DLC ▼c DLC ▼d 211009 | |
| 050 | 0 0 | ▼a TA168 ▼b .H65 2003 |
| 082 | 0 0 | ▼a 620/.001/171 ▼2 23 |
| 084 | ▼a 620.001171 ▼2 DDCK | |
| 090 | ▼a 620.001171 ▼b H762s | |
| 100 | 1 | ▼a Holzmann, Gerald J., ▼d 1951-. |
| 245 | 1 4 | ▼a The spin model checker : ▼b primer and reference manual / ▼c Gerald J. Holzmann. |
| 260 | ▼a Boston, MA : ▼b Addison-Wesley, ▼c 2004. | |
| 300 | ▼a xii, 596 p. : ▼b ill. ; ▼c 24 cm. | |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Systems engineering ▼x Mathematical models. |
| 650 | 0 | ▼a Computer programs ▼x Testing. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 620.001171 H762s | 등록번호 121096661 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |