| 000 | 01259namuu2200325 a 4500 | |
| 001 | 000000803735 | |
| 005 | 20030211140223 | |
| 008 | 950622s1995 cau b 100 0 eng | |
| 010 | ▼a 95032985 | |
| 020 | ▼a 188152695X | |
| 020 | ▼a 1881526968 (pbk.) | |
| 035 | ▼a KRIC03431115 | |
| 040 | ▼a 247017 ▼c 247017 ▼d 211009 | |
| 049 | 1 | ▼l 111235513 |
| 050 | 0 0 | ▼a QA267.3 ▼b .M63 1995 |
| 082 | 0 0 | ▼a 005.13/1 ▼2 21 |
| 090 | ▼a 005.131 ▼b M689 | |
| 245 | 0 0 | ▼a Modal logic and process algebra : ▼b a bisimulation perspective / ▼c edited by Alban Ponse, Maarten de Rijke Yde Venema. |
| 260 | ▼a Stanford, Calif. : ▼b CSLI Publications, ▼c 1995. | |
| 300 | ▼a xix, 326 p. ; ▼c 23 cm. | |
| 440 | 0 | ▼a CSLI lecture notes ; ▼v no. 53 |
| 500 | ▼a Papers presented at a workshop called Three days of Bisimulation, which was held Apr. 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam. | |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Formal languages ▼x Congresses. |
| 650 | 0 | ▼a Modality (Logic) ▼x Congresses. |
| 650 | 0 | ▼a Parallel processing (Electronic computers) ▼x Congresses. |
| 700 | 1 | ▼a Ponse, A. ▼q (Alban) , ▼d 1955- |
| 700 | 1 | ▼a Rijke, Maarten de. |
| 700 | 1 | ▼a Venema, Yde , ▼d 1963- |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/서고6층/ | 청구기호 005.131 M689 | 등록번호 111235513 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |