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
Edición de la obra 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
Edición de la obra Lectures on Formal Methods and Performance Analysis
| Editorial | Springer |
|---|
| Fecha de publicación | 2001 |
|---|
| Lugar | Berlin, Heidelberg |
|---|
| Idioma | inglés |
|---|
| Formato | [electronic resource] : |
|---|
| OCLC | 48961317 |
|---|
| Serie | LNCS -- 2090 · Lecture notes in computer science -- 2090 |
|---|
| Número de Cutter | B858l |
|---|