Extra Materials Archive

Book cover

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

© 2001

Soft cover - Print (ISBN: 978-3-540-42479-6)

Electronic (ISBN: 978-3-540-44667-5)

View this book on SpringerLink

Extra Materials File 978-3-540-44667-5