Formal Methods for Performance Evaluation [E-Book] : 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 / edited by Marco Bernardo, Jane Hillston.
Saved in:
|
Full text |
|
| Personal Name(s): | Bernardo, Marco |
| Hillston, Jane | |
| Imprint: |
Berlin, Heidelberg :
Springer-Verlag Berlin Heidelberg,
2007
|
| Physical Description: |
online resource |
| ISBN: |
9783540725220 |
| Series Title: |
Lecture Notes in Computer Science ;
4486 |
| Subject (LOC): |
| Description not available. |