Lectures on formal methods and performance analysis first EEF 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.).
• 出版者：Springer
• 出版地：Berlin ; New York :
• 語文：英語
• 叢書名：Lecture notes in computer science ;
• 電子資源：http://dx.doi.org/10.1007/3-540-44667-2
• ISBN/ISSN/ISRC：9783540424796 (paper)
• 作者：Brinksma, Ed.;Hermanns, Holger.;Katoen, Joost-Pieter.
• 索書號：004.0151