| 000 | 00831camuuu200265 a 4500 | |
| 001 | 000000509446 | |
| 003 | OCoLC | |
| 005 | 19980107143911.0 | |
| 008 | 960104s1996 enkab 001 0 eng | |
| 010 | ▼a 96004347 | |
| 020 | ▼a 0139484728 (pbk. : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d C#P | |
| 049 | ▼l 121026219 ▼l 121032532 | |
| 050 | 0 0 | ▼a QA76.73.Z2 ▼b W66 1996 |
| 082 | 0 0 | ▼a 005.1/2 ▼2 20 |
| 090 | ▼a 005.12 ▼b W886u | |
| 100 | 1 | ▼a Woodcock, Jim. |
| 245 | 1 0 | ▼a Using Z : ▼b specification, refinement, and proof / ▼c Jim Woodcock and Jim Davies. |
| 260 | ▼a London ; ▼a New York : ▼b Prentice Hall, ▼c 1996. | |
| 300 | ▼a xvi, 386 p. : ▼b ill., maps ; ▼c 24 cm. | |
| 440 | 0 | ▼a Prentice-Hall international series in computer science. |
| 500 | ▼a Includes index. | |
| 650 | 0 | ▼a Z (Computer program language). |
| 700 | 1 | ▼a Davies, Jim. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.12 W886u | 등록번호 121026219 (4회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.12 W886u | 등록번호 121032532 (5회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |