MARC状态:已编 文献类型:西文图书 浏览次数:57
- 题名/责任者:
- Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).
- 出版发行项:
- Berlin ; New York : Springer, c2001.
- ISBN:
- 354042556X (pbk. : acid-free paper) :
- 载体形态项:
- xii, 215 p. : ill. ; 24 cm.
- 变异题名:
- PAPM-PROBMIV 2001
- 丛编题名:
- Lecture notes in computer science, 0302-9743 ; 2165
- 会议名称:
- PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
- 附加个人名称:
- De Alfaro, Luca, 1966-
- 附加个人名称:
- Gilmore, Stephen, 1962-
- 论题主题:
- Machine theory-Congresses.
- 论题主题:
- Parallel processing (Electronic computers)-Congresses.
- 中图法分类号:
- O141-37
- 书目附注:
- Includes bibliographical references and index.
- 载体形态附注:
- Also available via the World Wide Web.
- 随书光盘:
全部MARC细节信息>>