ISBN 9783540424796 books & textbook
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... (Lecture Notes in Computer Science, 2090)
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter
Springer /2001-08-29 Paperback / 442 Pages
isbn-10: 3540424792 / isbn-13: 9783540424796
