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 Excel 2013 for Health Services Management Statistics by

bigCover of the book Social Responsibility Education Across Europe by

bigCover of the book Next Generation Sequencing in Cancer Research, Volume 2 by

bigCover of the book Solution Precursor Plasma Spray System by

bigCover of the book Spatial Information Theory by

bigCover of the book A First Course in Differential Equations by

bigCover of the book Research and Practice in Infant and Early Childhood Mental Health by

bigCover of the book Cloud Computing for Geospatial Big Data Analytics by

bigCover of the book Anticoagulation Therapy by

bigCover of the book Illdisciplined Gender by

bigCover of the book Mathematical Paradigms of Climate Science by

bigCover of the book Social Aesthetics and the School Environment by

bigCover of the book Membrane Protein – Lipid Interactions: Physics and Chemistry in the Bilayer by

bigCover of the book Experiments and Video Analysis in Classical Mechanics by

bigCover of the book Work Organization and Human Resource Management 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