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. |