Erweiterte
Suche ›

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

von
Buch
59,92 € Lieferbar in 5-7 Tagen

Kurzbeschreibung

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.

Details
Schlagworte
Autor

Titel: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autoren/Herausgeber: Marco Bernardo, Rocco De Nicola, Jane Hillston (Hrsg.)
Aus der Reihe: Lecture Notes in Computer Science
Ausgabe: 1st ed. 2016

ISBN/EAN: 9783319340951

Seitenzahl: 261
Format: 23,5 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 421 g
Sprache: Englisch

Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht