€ 58,74
Formal Methods for Multicore Programming — 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. An English-language digital edition by Marco Bernardo (Editor); Einar Broch Johnsen (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 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for…
Catalogue preview, eBooks.com
| Author | Marco Bernardo (Editor); Einar Broch Johnsen (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319189406, 9783319189413 |
| Format | |
| Publication date | May 06, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.