Formal Methods for Performance Evaluation: 7Th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 Advanced Lectures (Lecture notes in computer science, Tutorial 4486)
- Författare
- Marco Bernardo
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2007 | Utgivningsland okänt / Ej specificerat |