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 Fractal Approach to Tribology of Elastomers by
Cover of the book Alternative Schooling and Student Engagement by
Cover of the book Reviews of Environmental Contamination and Toxicology Volume 249 by
Cover of the book Financial Education in U.S. State Colleges and Universities by
Cover of the book Long-term Research Challenges in Wind Energy - A Research Agenda by the European Academy of Wind Energy by
Cover of the book Nanooncology by
Cover of the book Guide to Digital Forensics by
Cover of the book Redefining Management by
Cover of the book Creative Hubs in Question by
Cover of the book Information Systems: Research, Development, Applications, Education by
Cover of the book Elements of Neurogeometry by
Cover of the book Lipids in Plant and Algae Development by
Cover of the book Green Photonics and Electronics by
Cover of the book Translating National Policy to Improve Environmental Conditions Impacting Public Health Through Community Planning by
Cover of the book The Front National in France 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