Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 1
bokomslag Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Data & IT

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo • Rocco De Nicola • Jane Hillston

Pocket

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 261 sidor
  • 2016
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
  • Författare: Marco Bernardo, Rocco De Nicola, Jane Hillston
  • Illustratör: Bibliographie 67 schwarz-weiße Abbildungen
  • Format: Pocket/Paperback
  • ISBN: 9783319340951
  • Språk: Engelska
  • Antal sidor: 261
  • Utgivningsdatum: 2016-06-12
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Concurrency, Graphs and Models

    Concurrency, Graphs and Models

    Pierpaolo Degano, Rocco De Nicola, Jos Meseguer

    Pocket

    1999:-
  2. bokomslag Islam and Christianity in Medieval Anatolia

    Islam and Christianity in Medieval An...

    Bruno De Nicola A C S Peacock

    Pocket

    829:-
  3. bokomslag Atlas of Imaging in Infertility

    Atlas of Imaging in Infertility

    Luis Ronan Marquez Ferreira De Souza, Ana Luisa Alencar De Nicola, Harley De Nicola

    Inbunden

    3039:-
  4. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    899:-
  5. bokomslag Islam and Christianity in Medieval Anatolia

    Islam and Christianity in Medieval An...

    Bruno De Nicola A C S Peacock

    Inbunden

    2889:-
  6. bokomslag Reflections on Knowledge and Language in Middle Eastern Societies

    Reflections on Knowledge and Language...

    Yonatan Mendel, Bruno De Nicola, Husain Qutbuddin

    Inbunden

    649:-
  7. bokomslag Atlas of Imaging in Infertility

    Atlas of Imaging in Infertility

    Luis Ronan Marquez Ferreira De Souza, Ana Luisa Alencar De Nicola, Harley De Nicola

    Pocket

    4089:-
  8. bokomslag Die Gärten der Loire-Schlösser

    Die Gärten der Loire-Schlösser

    Barbara De Nicola¿ Hervé Lenain

    629:-
  9. bokomslag What a Beautiful World!

    What a Beautiful World!

    Christiane De Nicola-Mazery Isabelle ...

    Inbunden

    769:-
  10. bokomslag La protesi d'anca di primo impianto

    La protesi d'anca di primo impianto

    Ugo De Nicola F Franchin

    Inbunden

    2509:-

Andra av samma författare

  1. bokomslag A Compositional Approach to Performance Modelling

    A Compositional Approach to Performan...

    Jane Hillston

    Pocket

    719:-
  2. bokomslag A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Softw...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Pocket

    1009:-
  3. bokomslag Probabilistic Trace and Testing Semantics

    Probabilistic Trace and Testing Seman...

    Marco Bernardo

    Pocket

    1389:-
  4. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

    Pocket

    1009:-
  5. bokomslag Software, Services, and Systems

    Software, Services, and Systems

    Rolf Hennicker Rocco De Nicola

    Pocket

    1009:-
  6. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    899:-
  7. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Eva Khn Rocco De Nicola

    Pocket

    1009:-
  8. bokomslag Formal Methods for Software Architectures

    Formal Methods for Software Architect...

    Paola Inverardi Marco Bernardo

    Pocket

    1009:-
  9. bokomslag Coordination Models and Languages

    Coordination Models and Languages

    Rocco De Nicola, Gianluigi Ferrari, Greg Meredith

    Pocket

    1009:-
  10. bokomslag Formal Methods for the Design of Real-Time Systems

    Formal Methods for the Design of Real...

    Flavio Corradini Marco Bernardo

    Pocket

    1039:-