Items related to Formal Methods for the Quantitative Evaluation of Collective...
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering) - Softcover
Synopsis
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.
"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
From the Back Cover
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2016
- ISBN 10 3319340956
- ISBN 13 9783319340951
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages268
- EditorBernardo Marco, De Nicola Rocco, Hillston Jane
Search results for Formal Methods for the Quantitative Evaluation of Collective...
Seller Image
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
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26305153-n
Quantity: Over 20 available
Stock Image
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020093723
Quantity: Over 20 available
Stock Image
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319340951_new
Quantity: Over 20 available
Seller Image
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Published by
Springer International Publishing Jun 2016, 2016
ISBN 10: 3319340956
ISBN 13: 9783319340951
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 272 pp. Englisch. Seller Inventory # 9783319340951
Quantity: 2 available
Seller Image
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
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26305153-n
Quantity: Over 20 available
Stock Image
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319340951
Quantity: 10 available
Seller Image
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
Published by
Springer International Publishing, 2016
ISBN 10: 3319340956
ISBN 13: 9783319340951
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 # 9783319340951
Quantity: 1 available
Stock Image
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
Published by
Springer International Publishing, 2016
ISBN 10: 3319340956
ISBN 13: 9783319340951
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: Buchschnitt verkürzt. | Seiten: 272 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 26710031/12
Quantity: 1 available
Stock Image
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, 2
Published by
Springer-Verlag New York Inc, 2016
ISBN 10: 3319340956
ISBN 13: 9783319340951
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock. Seller Inventory # x-3319340956
Quantity: 2 available
Seller Image
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Published by
Springer International Publishing, 2016
ISBN 10: 3319340956
ISBN 13: 9783319340951
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable and useful lecture notes written by leading expertsMade for students, researchers and practitionersA detailed preface, introducing the chapters, is included in the front matter and is freely availab. Seller Inventory # 119900798
Quantity: Over 20 available