Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Marco Bernardo

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: Lecture Notes in Computer Science, cartea 9700

Editat de Marco Bernardo, Rocco De Nicola, Jane Hillston
en Limba Engleză Paperback – 12 iun 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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32183 lei

Preț vechi: 40228 lei
-20% Nou

Puncte Express: 483
Preț estimativ în valută:
6160€ • 6420$ • 5128£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319340951
ISBN-10: 3319340956
Pagini: 261
Ilustrații: VII, 261 p. 67 illus.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

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. 

Notă biografică

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

Textul de pe ultima copertă

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.

Caracteristici

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