HOME > 상세정보

상세정보

Action refinement in process algebras

Action refinement in process algebras

자료유형
학위논문
개인저자
Aceto, Luca.
서명 / 저자사항
Action refinement in process algebras / Luca Aceto.
발행사항
Cambridge ;   New York, NY, USA :   Cambridge University Press ,   1992.  
형태사항
viii, 273 p. : ill. ; 26 cm.
총서사항
Distinguished dissertations in computer science
ISBN
0521431115 9780521431118
학위논문주기
Thesis (Ph. D.)--University of Sussex, 1990.
서지주기
Includes bibliographical references (p. 265-271) and index.
일반주제명
Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics.
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 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료

Zumstein, Felix (2022)