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 Rhetoric in Neoliberalism by

bigCover of the book Research and Practice on the Theory of Inventive Problem Solving (TRIZ) by

bigCover of the book Protein Modelling by

bigCover of the book The Internal Structure of U. S. Consumption Expenditures by

bigCover of the book Immigrant Student Achievement and Education Policy by

bigCover of the book Home Visitation Programs by

bigCover of the book Information Theoretic Security by

bigCover of the book Maritime Container Port Security by

bigCover of the book Osteoporosis in Older Persons by

bigCover of the book Maxillofacial Cone Beam Computed Tomography by

bigCover of the book Excel 2016 for Social Science Statistics by

bigCover of the book Community-Based Disaster Risk Management in Azerbaijan by

bigCover of the book Excursions in Harmonic Analysis, Volume 5 by

bigCover of the book Heat Transfer Modeling 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