서브메뉴
검색
Specification and Analysis of Concurrent Systems
Specification and Analysis of Concurrent Systems
상세정보
- 자료유형
- 단행본
- ISBN
- 3540552049
- 청구기호
- 005.4 J33s
- 저자명
- Janicki, Ryszard
- 서명/저자
- Specification and Analysis of Concurrent Systems / Ryszard Janicki , Peter E Lauer.
- 발행사항
- New York : Springer-Verlag, 1992.
- 형태사항
- xii,480 p. ; 24 cm.
- 총서명
- EATCS Monographs on Theoretical Computer Science ; 26
- 서지주기
- Includes bibliographical references and index.
- 일반주제명
- System Programming
- 기타저자
- Lauer, Peter E
- 가격
- 33500
- Control Number
- kjul:50019691
MARC
008970308s1992 ulk 000a eng■020 ▼a3540552049
■090 ▼a005.4▼bJ33s
■1001 ▼aJanicki, Ryszard
■24510▼aSpecification and Analysis of Concurrent Systems▼dRyszard Janicki▼ePeter E Lauer.
■260 ▼aNew York▼bSpringer-Verlag▼c1992.
■300 ▼axii,480 p.▼c24 cm.
■44010▼aEATCS Monographs on Theoretical Computer Science▼v26
■504 ▼aIncludes bibliographical references and index.
■650 4▼aSystem Programming
■653 ▼aSpecification▼aAnalysis▼aConcurrent▼aSystems
■7001 ▼aLauer, Peter E
■9500 ▼b33500
