![Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author:
Aldini, Alessandro. editor.
ISBN:
9783642136788
Physical Description:
VII, 169p. 31 illus. online resource.
Series:
Lecture Notes in Computer Science, 6154
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 6154
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-13678-8Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 192413-2001 | ONLINE | Searching... | Searching... |