书目信息 机读格式(MARC)
Modeling and verification of parallel processes :
| ISBN： | 3-540-42787-2 |
|---|---|
| 编目源： | DLC DLC |
| 语种代码： | eng |
| 会议名称： | MOVEP 2000 |
| 题名： | Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 / Franck Cassez ... (eds.) |
| 出版发行项： | Berlin ; London : Springer, 2001. |
| 载体形态： | x, 222 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science ; 2067 |
| 书目附注： | Includes bibliographical references. |