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 Four Pillars of Radio Astronomy: Mills, Christiansen, Wild, Bracewell by

bigCover of the book The Political Economy of Development in Southeastern Europe by

bigCover of the book The Argumentative Turn in Policy Analysis by

bigCover of the book Data Analytics and Management in Data Intensive Domains by

bigCover of the book Green's Kernels and Meso-Scale Approximations in Perforated Domains by

bigCover of the book Random Walks on Reductive Groups by

bigCover of the book Models of Mentoring in Language Teacher Education by

bigCover of the book 9-12Cr Heat-Resistant Steels by

bigCover of the book Measurement-Based Care in Mental Disorders by

bigCover of the book A Solar Car Primer by

bigCover of the book Radionanomedicine by

bigCover of the book Nourishing Communities by

bigCover of the book German Covered Bonds 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