Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

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 (Paperback, 1st ed. 2016) Loot Price: R2,250

Discovery Miles 22 500

Repayment Terms: R211 pm x 12*

Add to cart

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for...

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 (Paperback, 1st ed. 2016)

Marco Bernardo, Rocco De Nicola, Jane Hillston

Series: Lecture Notes in Computer Science, 9700

(sign in to rate)

Loot Price R2,250 Discovery Miles 22 500 | Repayment Terms: R211 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 9700
Release date:	June 2016
First published:	2016
Editors:	Marco Bernardo • Rocco De Nicola • Jane Hillston
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	261
Edition:	1st ed. 2016
ISBN-13:	978-3-319-34095-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Databases > General Promotions
LSN:	3-319-34095-6
Barcode:	9783319340951