Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

  • Kartonierter Einband
  • 272 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Meth... Weiterlesen
20%
80.00 CHF 64.00
Sie sparen CHF 16.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.

Original, readable and useful lecture notes written by leading experts

Made for students, researchers and practitioners

A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink

Includes supplementary material: sn.pub/extras



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

Inhalt

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems.- Dependability of Adaptable and Evolvable Distributed Systems.- Mean-Field Limits Beyond Ordinary Differential Equations.- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.- Spatial Representations and Analysis Techniques.- Spatial Logic and Spatial Model Checking for Closure Spaces.- Quantitative Abstractions for Collective Adaptive Systems.- Aggregate Programming: From Foundations to Applications.

Produktinformationen

Titel: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Untertitel: 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
Editor:
EAN: 9783319340951
ISBN: 3319340956
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 272
Gewicht: 417g
Größe: H235mm x B155mm x T14mm
Jahr: 2016
Untertitel: Englisch
Auflage: 1st ed. 2016

Weitere Produkte aus der Reihe "Programming and Software Engineering"