![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, B, Paperback / softback Book 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, B, Paperback / softback Book](http://speedyhen.dmmserver.com/media/640/97833193/9783319340951.jpg)
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, B Paperback / softback
Edited by Marco Bernardo, Rocco De Nicola, Jane Hillston
Part of the Programming and Software Engineering series
Paperback / softback
- Information
Description
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.
SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:261 pages, 67 Illustrations, black and white; VII, 261 p. 67 illus.
- Publisher:Springer International Publishing AG
- Publication Date:12/06/2016
- Category:
- ISBN:9783319340951
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:261 pages, 67 Illustrations, black and white; VII, 261 p. 67 illus.
- Publisher:Springer International Publishing AG
- Publication Date:12/06/2016
- Category:
- ISBN:9783319340951