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 Obesity and Lipotoxicity by

bigCover of the book Qualitative Studies in Quality of Life by

bigCover of the book Mathematical Thermodynamics of Complex Fluids by

bigCover of the book Advances in Geocomputation by

bigCover of the book Progress in Wall Turbulence 2 by

bigCover of the book The Climate of the Arctic by

bigCover of the book A Critical Review of Scottish Renewable and Low Carbon Energy Policy by

bigCover of the book Crystallizing Ideas – The Role of Chemistry by

bigCover of the book Quantum Symmetries by

bigCover of the book Mechanics of Composite and Multi-functional Materials, Volume 7 by

bigCover of the book Solving Software Challenges for Exascale by

bigCover of the book Near Net Shape Manufacturing Processes by

bigCover of the book Ambient Intelligence by

bigCover of the book Learning and Collaboration Technologies. Design, Development and Technological Innovation 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