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 Continuum Thermodynamics by

bigCover of the book Integration as Solution for Advanced Smart Urban Transport Systems by

bigCover of the book The Discourse of Business Meetings by

bigCover of the book The Paradox of Citizenship in American Politics by

bigCover of the book William Desmond’s Philosophy between Metaphysics, Religion, Ethics, and Aesthetics by

bigCover of the book Coding for MIMO-OFDM in Future Wireless Systems by

bigCover of the book The Development of an Integrated Planning and Decision Support System (IPDSS) for Land Consolidation by

bigCover of the book Metaheuristics and Optimization in Civil Engineering by

bigCover of the book Deportation and Return in a Border-Restricted World by

bigCover of the book Denken ohne Sprache by

bigCover of the book Africa's Population: In Search of a Demographic Dividend by

bigCover of the book New Therapeutic Strategies in Lung Cancers by

bigCover of the book The Soils of Turkey by

bigCover of the book Nonautonomous Linear Hamiltonian Systems: Oscillation, Spectral Theory and Control 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