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 /
|aEEF Summer School on Trends in Computer Science|n(1st :|d2000 :|cBerg en Dal, Netherlands)
245
10
|aLectures on formal methods and performance analysis|h[electronic resource] :|bfirst EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /|cEd Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
260
|aBerlin ;|aNew York :|bSpringer,|cc2001.
300
|avi, 429 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v2090
650
0
|aFormal methods (Computer science)|vCongresses.
700
1
|aBrinksma, Ed.
700
1
|aHermanns, Holger.
700
1
|aKatoen, Joost-Pieter.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-44667-2
950
|aComputer Science (Lecture Notes in Computer Science)