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 Runtime Verification by

bigCover of the book Mechanical Properties of Aging Soft Tissues by

bigCover of the book Exploring Dynamic Mentoring Models in India by

bigCover of the book Proceedings of ELM-2017 by

bigCover of the book Computer Vision – ECCV 2018 by

bigCover of the book Philip Pettit: Five Themes from his Work by

bigCover of the book International Farm Animal, Wildlife and Food Safety Law by

bigCover of the book Quantifying Aesthetics of Visual Design Applied to Automatic Design by

bigCover of the book Introduction to Cyberdeception by

bigCover of the book Environmental Technology in the Oil Industry by

bigCover of the book Characterizing Stellar and Exoplanetary Environments by

bigCover of the book Biomaterials for Cardiac Regeneration by

bigCover of the book Computer Vision – ECCV 2016 Workshops by

bigCover of the book Genomic Architecture of Schizophrenia Across Diverse Genetic Isolates by

bigCover of the book Enterprise and Organizational Modeling and Simulation 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