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

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

Big bigCover of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

More books from Springer International Publishing

bigCover of the book Roles, Trust, and Reputation in Social Media Knowledge Markets by

bigCover of the book Dismantling Race in Higher Education by

bigCover of the book Directions of Development of Transport Networks and Traffic Engineering by

bigCover of the book Belief Functions: Theory and Applications by

bigCover of the book Advances in Cryptology – ASIACRYPT 2017 by

bigCover of the book Handbook of Maleic Anhydride Based Materials by

bigCover of the book Banking Reforms in India by

bigCover of the book Neuroimaging: Anatomy Meets Function by

bigCover of the book Traumatic Memories of the Second World War and After by

bigCover of the book Lung Cancer and Autoimmune Disorders by

bigCover of the book Engineering in Dependability of Computer Systems and Networks by

bigCover of the book Low and Lower Fertility by

bigCover of the book Machine Learning, Optimization, and Big Data by

bigCover of the book Advances in Data Mining. Applications and Theoretical Aspects by

bigCover of the book Transforming City Governments for Successful Smart Cities 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