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
Language: English
Published by Palgrave Macmillan, 2016
- Softcover
- Used
Seller: Buchpark, Trebbin, GermanyBuchpark
5-star seller
AbeBooks seller since September 30, 2021
Softcover
Condition: Used - Fine
US$ 48.94
US$ 122.10 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | 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.
Seller Inventory # 26710031/12
- Title
- 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
- Author
- Unbekannt
- Publisher
- Palgrave Macmillan
- Publication year
- 2016
- Condition
- Sehr gut
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3319340956
- ISBN 13
- 9783319340951
- Seller catalogs
- Bücher
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.
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.
"Synopsis" may belong to another edition of this title.
About the Author
Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems
"About the title" may belong to another edition of this title.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 122.10 | US$ 151.17 |
Payment methods
- Bank Wire Transfer
- Check
- Paypal
Store description
Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen.
Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen.
Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet.
Wir schenken Büchern ein zweites Leben.
Seller's business information
Buchpark GmbH
Krügerweg 1
Trebbin, Germany 14959