Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering) - Softcover

 
9783319340951: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)
Softcover
ISBN 10: 3319340956 ISBN 13: 9783319340951
Publisher: Springer, 2016

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems

From the Back Cover

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2016
Language
English
ISBN 10 
3319340956
ISBN 13 
9783319340951
Binding
Paperback
Edition number
1
Number of pages
268
Editor
Bernardo Marco, De Nicola Rocco, Hillston Jane