| 000 | 00943camuuu200301 a 4500 | |
| 001 | 000000568345 | |
| 003 | OCoLC | |
| 005 | 19971006183816.0 | |
| 008 | 951026s1996 maua b 001 0 eng | |
| 010 | ▼a 95047440 | |
| 015 | ▼a GB96-64128 | |
| 019 | ▼a 35785364 | |
| 020 | ▼a 026207172X (hc : alk. paper) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | ▼a ACSL ▼l 121031124 | |
| 050 | 0 0 | ▼a QA76.7 ▼b .G62 1996 |
| 082 | 0 0 | ▼a 005.13/1 ▼2 20 |
| 090 | ▼a 005.131 ▼b G613a | |
| 100 | 1 | ▼a Goguen, Joseph. |
| 245 | 1 0 | ▼a Algebraic semantics of imperative programs / ▼c Joseph A. Goguen and Grant Malcolm. |
| 260 | ▼a Cambridge, Mass. : ▼b MIT Press, ▼c c1996. | |
| 300 | ▼a vii, 228 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Foundations of computing |
| 504 | ▼a Includes bibliographical references (p. [223]-225) and index. | |
| 650 | 0 | ▼a Programming languages (Electronic computers) ▼x Semantics. |
| 650 | 0 | ▼a Algebra. |
| 653 | 0 | ▼a Logic programming |
| 700 | 1 | ▼a Malcolm, Grant. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 G613a | 등록번호 121031124 (1회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |