Lectures on Formal Methods and Performance Analysis
Subtitle: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures
Publisher: Springer London, Limited
Published: 2003
Language: eng
Number of pages: 434
ISBN-13: 9783540446675