An edition of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
(2016)
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
by Marco Bernardo, Rocco De Nicola, and Jane Hillston
- 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
Subjects
Operating systems (computers)Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
2016, Springer London, Limited
in English
3319340964 9783319340968
|
zzzz
Libraries near you:
WorldCat
|
|
2
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
2016, Springer International Publishing AG
in English
3319340956 9783319340951
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 27, 2022 | Created by ImportBot | import new book |