€ 62,49
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. An English-language digital edition by Marco Bernardo (Editor); Rocco De Nicola (Editor); Jane Hillston (Editor), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for…
Catalogue preview, eBooks.com
| Author | Marco Bernardo (Editor); Rocco De Nicola (Editor); Jane Hillston (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319340951, 9783319340968 |
| Format | |
| Publication date | June 10, 2016 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.