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
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Check nearby libraries
Buy this book
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
|
Book Details
Classifications
ID Numbers
Community Reviews (0)
Feedback?
History
- Created October 5, 2021
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 5, 2021 | Created by ImportBot | Imported from Better World Books record. |