An edition of Formal Methods for Quantitative Aspects of Programming Languages
(2010)
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, 2010, Advanced Lectures
by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, and Herbert Wiklicky
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
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, 2010, Advanced Lectures
2010, Springer London, Limited
in English
3642136788 9783642136788
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?
| October 5, 2021 | Created by ImportBot | import new book |