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 Whistleblowing in the World by
Cover of the book Practical Guide to Paraphilia and Paraphilic Disorders by
Cover of the book Acute Heart Failure by
Cover of the book Synthesis of Nanoparticles and Nanomaterials by
Cover of the book Avoiding War, Making Peace by
Cover of the book Advances and Challenges in Parametric and Semi-parametric Analysis for Correlated Data by
Cover of the book The Kiwifruit Genome by
Cover of the book Producing History in Spanish Civil War Exhumations by
Cover of the book Surviving Dementia by
Cover of the book Progress in Cryptology - LATINCRYPT 2014 by
Cover of the book Geometry Through History by
Cover of the book Health Economics from Theory to Practice by
Cover of the book Churches, Temples, and Financial Crimes by
Cover of the book Innovating in a Learning Community by
Cover of the book Wireless Sensor Networks 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