Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
. Ed(S): Bernardo, Marco; de Nicola, Rocco; Hillston, Jane
€ 62.12
FREE Delivery in Ireland
Description for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Paperback. Editor(s): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Series: Lecture Notes in Computer Science. Num Pages: 268 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
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.
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.
Product Details
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
268
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
261
Place of Publication
Cham, Switzerland
ISBN
9783319340951
SKU
V9783319340951
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About . Ed(S): Bernardo, Marco; de Nicola, Rocco; Hillston, Jane
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Reviews for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems