| 000 | 00000cam u2200205 a 4500 | |
| 001 | 000000091868 | |
| 005 | 20171212104312 | |
| 008 | 931021s1994 fr a b 001 0 engx | |
| 010 | ▼a 93040895 | |
| 015 | ▼a GB94-28608 | |
| 020 | ▼a 0130929905 | |
| 040 | ▼a DLC ▼c DLC ▼d AKR ▼d PIT ▼d UKM ▼d 211009 | |
| 041 | 1 | ▼a eng ▼h fre |
| 049 | 1 | ▼l 121002591 ▼f 과학 |
| 050 | 0 0 | ▼a QA267.5 ▼b .A7613 1994 |
| 082 | 0 0 | ▼a 003/.01/5113 ▼2 20 |
| 084 | ▼a 003.01 ▼2 DDCK | |
| 090 | ▼a 003.01 ▼b A752f | |
| 100 | 1 | ▼a Arnold, A. ▼q (André), ▼d 1945-. |
| 240 | 1 0 | ▼a Systemes de transitions finit et semantique des processus communicants. ▼l English |
| 245 | 1 0 | ▼a Finite transition systems : ▼b semantics of communicating systems / ▼c André Arnold ; translated by John Plaice. |
| 260 | ▼a Paris : ▼b Masson ; ▼a Englewood Cliffs, NJ : ▼b Prentice Hall, ▼c c1994. | |
| 300 | ▼a vii, 177 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 1 | ▼a Prentice Hall international series in computer science |
| 504 | ▼a Includes bibliographical references (p. 139-173) and index. | |
| 650 | 0 | ▼a Sequential machine theory. |
| 653 | 0 | ▼a Systems |
| 830 | 0 | ▼a Prentice Hall international series in computer science. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 003.01 A752f | 등록번호 121002591 (3회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |