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

769:-

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

Uppskattad leveranstid 10-16 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

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

    Islam and Christianity in Medieval An...

    Bruno De Nicola A C S Peacock

    Pocket

    809:-
  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

    3089:-
  4. bokomslag Islam and Christianity in Medieval Anatolia

    Islam and Christianity in Medieval An...

    Bruno De Nicola A C S Peacock

    Inbunden

    2959:-
  5. bokomslag Reflections on Knowledge and Language in Middle Eastern Societies

    Reflections on Knowledge and Language...

    Yonatan Mendel, Bruno De Nicola, Husain Qutbuddin

    Inbunden

    659:-
  6. 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

    3089:-
  7. bokomslag Die Gärten der Loire-Schlösser

    Die Gärten der Loire-Schlösser

    Barbara De Nicola¿ Hervé Lenain

    619:-
  8. bokomslag What a Beautiful World!

    What a Beautiful World!

    Christiane De Nicola-Mazery Isabelle ...

    Inbunden

    779:-
  9. bokomslag La protesi d'anca di primo impianto

    La protesi d'anca di primo impianto

    Ugo De Nicola F Franchin

    Inbunden

    2029:-
  10. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    739:-

Andra av samma författare

  1. bokomslag A Compositional Approach to Performance Modelling

    A Compositional Approach to Performan...

    Jane Hillston

    Pocket

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

    A Process Algebraic Approach to Softw...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Pocket

    769:-
  3. bokomslag Probabilistic Trace and Testing Semantics

    Probabilistic Trace and Testing Seman...

    Marco Bernardo

    Pocket

    1369:-
  4. bokomslag Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

    Quantitative Evaluation of Systems an...

    Jane Hillston, Sadegh Soudjani, Masaki Waga

    Pocket

    1149:-
  5. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

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

    Pocket

    769:-
  6. bokomslag Software, Services, and Systems

    Software, Services, and Systems

    Rolf Hennicker Rocco De Nicola

    Pocket

    769:-
  7. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    739:-
  8. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Eva Khn Rocco De Nicola

    Pocket

    769:-
  9. bokomslag Formal Methods for Software Architectures

    Formal Methods for Software Architect...

    Paola Inverardi Marco Bernardo

    Pocket

    769:-
  10. bokomslag Coordination Models and Languages

    Coordination Models and Languages

    Rocco De Nicola, Gianluigi Ferrari, Greg Meredith

    Pocket

    769:-