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