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 Traveling Irishness in the Long Nineteenth Century by
Cover of the book Uncharted Constellations by
Cover of the book Acute Care General Surgery by
Cover of the book Advances in Systematic Creativity by
Cover of the book Global Business in Local Culture by
Cover of the book Chaotic, Fractional, and Complex Dynamics: New Insights and Perspectives by
Cover of the book Gender and Public Participation in Afghanistan by
Cover of the book Redefining Management by
Cover of the book Chemical Optimization Algorithm for Fuzzy Controller Design by
Cover of the book Introductory Statistics for Business and Economics by
Cover of the book Advanced Materials for the Conservation of Stone by
Cover of the book Chiral Lewis Acids by
Cover of the book Green Infrastructure Financing by
Cover of the book Developments and Retrospectives in Lie Theory by
Cover of the book Advances in User Authentication 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