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 Data Mining for Social Robotics by

bigCover of the book Genomics, Personalized Medicine and Oral Disease by

bigCover of the book Synergetics and Fractals in Tribology by

bigCover of the book Quantum-Enhanced Nonlinear Spectroscopy by

bigCover of the book The End of Poverty by

bigCover of the book Soft Modeling in Industrial Manufacturing by

bigCover of the book Microsystems for Enhanced Control of Cell Behavior by

bigCover of the book 1D Oxide Nanostructures Obtained by Sol-Gel and Hydrothermal Methods by

bigCover of the book Disarmament, Demobilization and Reintegration in Southern Africa by

bigCover of the book Taiwan's Impact on China by

bigCover of the book Illustrating Finance Policy with Mathematica by

bigCover of the book Problems & Solutions in Inventory Management by

bigCover of the book Theory of the Nuclear Magnetic 1/T1 Relaxation Rate in Conventional and Unconventional Magnets by

bigCover of the book International Perspectives on Older Adult Education by

bigCover of the book Cybersecurity in Switzerland 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