| ISBN： | 3-540-42479-2 (pbk. : alk. paper) |
|---|
| 编目源： | DLC DLC OHX C$Q C#P UKM CVU |
|---|
| 语种代码： | eng |
|---|
| 会议名称： | EEF/Euro Summer School on Trends in Computer Science |
|---|
| 题名： | Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.). |
|---|
| 出版发行项： | Berlin ; New York : Springer, c2001. |
|---|
| 载体形态： | vi, 429 p. : ill. ; 24 cm. |
|---|
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2090. |
|---|
| 书目附注： | Includes bibliographical references and index. |
|---|