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
E. Brinksma and H. Hermanns and J. P. Katoen
Book 2090 of the
Springer Series in Chemical Physics, series
- ISBN: 3540424792
- ISBN-13: 9783540424796
- Authors : E. Brinksma and H. Hermanns and J. P. Katoen
- Category :
Computers - Machine Theory
- Language : English
- Format:
Paperback
- Publication Date: 10/1/2001
- Publisher Imprint: Springer
- Price ($AUD): $170.95
- Usual Dispatch Time: 7 - 10 days
- Please note that all prices are in Australian dollars
- Some titles may be subject to availability