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
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Operating systems (computers)| 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 International Publishing AG
in English
3319340956 9783319340951
|
aaaa
|
|
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 London, Limited
in English
3319340964 9783319340968
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| February 27, 2022 | Created by ImportBot | import new book |