| 000 | 00953camuuu200277 a 4500 | |
| 001 | 000000917673 | |
| 005 | 19990115132122.0 | |
| 008 | 931222s1994 njua b 001 0 eng | |
| 010 | ▼a 93050696 | |
| 020 | ▼a 1567500331 | |
| 020 | ▼a 156750034X (pbk.) | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 244002 | |
| 049 | 0 | ▼l 151011488 |
| 050 | 0 0 | ▼a QA76.758 ▼b .G37 1994 |
| 082 | 0 0 | ▼a 005.1/2 ▼2 20 |
| 090 | ▼a 005.12 ▼b G198s | |
| 100 | 1 | ▼a Gannon, John D., ▼d 1948- |
| 245 | 1 0 | ▼a Software specification : ▼b a comparison of formal methods / ▼c by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz. |
| 260 | ▼a Norwood, N.J. : ▼b Ablex Pub. Co., ▼c c1994. | |
| 300 | ▼a xi, 249 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Computer-based information systems in organizations. |
| 504 | ▼a Includes bibliography (p. 237-242) and indexes. | |
| 650 | 0 | ▼a Software engineering. |
| 650 | 0 | ▼a Computer software ▼x Specifications. |
| 700 | 1 | ▼a Purtilo, James. |
| 700 | 1 | ▼a Zelkowitz, Marvin V., ▼d 1945-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 세종학술정보원/과학기술실(5층)/ | 청구기호 005.12 G198s | 등록번호 151011488 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |