![Cover image for 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 Cover image for 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](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
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
Author:
Bernardo, Marco. editor.
ISBN:
9783540725220
Physical Description:
VII, 469 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4486
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4486
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-72522-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 186566-2001 | ONLINE | Searching... | Searching... |