| 000 | 00921pamuuu200265 a 4500 | |
| 001 | 000000565898 | |
| 003 | OCoLC | |
| 005 | 19970924170133.0 | |
| 008 | 940602s1995 enka b 001 0 eng | |
| 010 | ▼a 94021071 | |
| 020 | ▼a 0077090527 | |
| 040 | ▼a DLC ▼c DLC | |
| 049 | ▼a ACSL ▼l 121031195 | |
| 050 | 0 0 | ▼a QA76.758 ▼b .H45 1995 |
| 082 | 0 0 | ▼a 005.1/4 ▼2 20 |
| 090 | ▼a 005.14 ▼b H432p | |
| 100 | 1 | ▼a He, Jifeng, ▼d 1943- |
| 245 | 1 0 | ▼a Provably correct systems : ▼b modelling of communication languages and design of optimized compilers / ▼c He Jifeng. |
| 260 | ▼a London ; ▼a New York : ▼b McGraw-Hill, ▼c c1995. | |
| 300 | ▼a xii, 175 p. : ▼b ill. ; ▼c 26 cm. | |
| 440 | 4 | ▼a The McGraw-Hill international series in software engineering |
| 504 | ▼a Includes bibliographical references (p. 170-173) and index. | |
| 650 | 0 | ▼a Software engineering. |
| 650 | 0 | ▼a Programming languages (Electronic computers) |
| 650 | 0 | ▼a Compilers (Computer programs) |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.14 H432p | 등록번호 121031195 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |