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
- Author
- Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)
- Publisher
- Springer International Publishing
- Language
- English
- Edition
- 1
- Year
- 2016
- Page
- VII, 261
- ISBN
- 978-3-319-34095-1, 978-3-319-34096-8
- File Type
- pdf
- File Size
- 16.1 MiB
How to Download?!!!
Just click on START button on Telegram Bot