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 Fault Diagnosis and Fault-Tolerant Control Strategies for Non-Linear Systems by

bigCover of the book New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic by

bigCover of the book Secularization Revisited - Teaching of Religion and the State of Denmark by

bigCover of the book Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets by

bigCover of the book International Human Resources Management by

bigCover of the book User Centric E-Government by

bigCover of the book Global Entrepreneurship and Development Index 2018 by

bigCover of the book Biogeochemical Technologies for Managing Pollution in Polar Ecosystems by

bigCover of the book Trust Management IX by

bigCover of the book EMI Films and the Limits of British Cinema by

bigCover of the book The Thermodynamics of Linear Fluids and Fluid Mixtures by

bigCover of the book Toward Robotic Socially Believable Behaving Systems - Volume II by

bigCover of the book Sex Hormones, Exercise and Women by

bigCover of the book Polymers on the Crime Scene 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