The construction of formal specifications : an introduction to the model-based and algebraic approaches
| 000 | 00972camuuu200277 a 4500 | |
| 001 | 000000092792 | |
| 005 | 19980526100041.0 | |
| 008 | 930805s1994 enka b 001 0 engx | |
| 010 | ▼a 93031699 | |
| 015 | ▼a GB94-37230 | |
| 020 | ▼a 0077077350 : ▼c 19.95 | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | 1 | ▼l 121002830 ▼f 과학 |
| 050 | 0 0 | ▼a QA76.758 ▼b .T86 1994 |
| 082 | 0 0 | ▼a 005.1/2 ▼2 20 |
| 090 | ▼a 005.12 ▼b T948c | |
| 100 | 1 | ▼a Turner, J. G. ▼q (John G.), ▼d 1946- |
| 245 | 1 4 | ▼a The construction of formal specifications : ▼b an introduction to the model-based and algebraic approaches / ▼c J.G. Turner, T.L. McCluskey. |
| 260 | ▼a London ; ▼a New York : ▼b McGraw-Hill, ▼c c1994. | |
| 300 | ▼a xii, 420 p. : ▼b ill. ; ▼c 25 cm. | |
| 440 | 4 | ▼a The McGraw-Hill international series in software engineering. |
| 504 | ▼a Includes bibliographical references and indexes. | |
| 650 | 0 | ▼a Software engineering. |
| 653 | 0 | ▼a Software ▼a Design |
| 700 | 1 | ▼a McCluskey, T. L. ▼q (T. Lee), ▼d 1957-. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.12 T948c | 등록번호 121002830 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |