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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319340968
Publisher: Springer International Publishing Publication: June 10, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319340968
Publisher: Springer International Publishing
Publication: June 10, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Semantic Acquisition Games by
Cover of the book Middle Classes in Africa by
Cover of the book Bridging Constraint Satisfaction and Boolean Satisfiability by
Cover of the book Geographies of Transport and Ageing by
Cover of the book Analytics for Smart Energy Management by
Cover of the book RNA/DNA and Cancer by
Cover of the book Humor in Infants by
Cover of the book Violence in Schools by
Cover of the book Integrative Medicine for Breast Cancer by
Cover of the book Ultrafast Nonlinear Optics by
Cover of the book Quiver Representations by
Cover of the book Inspired by Finance by
Cover of the book Applications of Mathematics and Informatics in Science and Engineering by
Cover of the book The Perfect Shape by
Cover of the book Security and Fault Tolerance in Internet of Things by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy