The book is currently out of stock
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
Authors
Parameters
Book purchase
Formal Methods for Multicore Programming, Marco Bernardo
- Language
- Released
- 2015
We’ll notify you via email once we track it down.
Payment methods
- Title
- Formal Methods for Multicore Programming
- Subtitle
- 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
- Language
- English
- Authors
- Marco Bernardo
- Publisher
- Springer-Verlag GmbH
- Publisher
- 2015
- ISBN10
- 3319189409
- ISBN13
- 9783319189406