서브메뉴
검색
Specification and Analysis of Concurrent Systems
Specification and Analysis of Concurrent Systems
Detailed Information
- Material Type
- 단행본
- ISBN
- 3540552049
- Callnumber
- 005.4 J33s
- Author
- Janicki, Ryszard
- Title/Author
- Specification and Analysis of Concurrent Systems / Ryszard Janicki ; Peter E Lauer.
- Publish Info
- New York : Springer-Verlag, 1992.
- Material Info
- xii,480 p. ; 24 cm.
- Added Entry-Title
- EATCS Monographs on Theoretical Computer Science ; 26
- 서지주기
- Includes bibliographical references and index.
- Subject Added Entry-Topical Term
- System Programming
- Index Term-Uncontrolled
- Specification Analysis Concurrent Systems
- Added Entry-Personal Name
- Lauer, Peter E
- Price Info
- 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
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
