| 000 | 01035camuu2200289 a 4500 | |
| 001 | 000045355615 | |
| 005 | 20070521164103 | |
| 008 | 921216s1992 enka b 001 0 eng | |
| 010 | ▼a 92249890 | |
| 020 | ▼a 0521431115 | |
| 020 | ▼a 9780521431118 | |
| 035 | ▼a (KERIS)REF000006693428 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.58 ▼b .A23 1992 |
| 082 | 0 0 | ▼a 005.2 ▼2 22 |
| 090 | ▼a 005.2 ▼b A174a | |
| 100 | 1 | ▼a Aceto, Luca. |
| 245 | 1 0 | ▼a Action refinement in process algebras / ▼c Luca Aceto. |
| 260 | ▼a Cambridge ; ▼a New York, NY, USA : ▼b Cambridge University Press , ▼c 1992. | |
| 300 | ▼a viii, 273 p. : ▼b ill. ; ▼c 26 cm. | |
| 440 | 0 | ▼a Distinguished dissertations in computer science |
| 502 | ▼a Thesis (Ph. D.)--University of Sussex, 1990. | |
| 504 | ▼a Includes bibliographical references (p. 265-271) and index. | |
| 650 | 0 | ▼a Parallel processing (Electronic computers) |
| 650 | 0 | ▼a Programming languages (Electronic computers) ▼x Semantics. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.2 A174a | 등록번호 121146946 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |