Formal Methods for Multicore Programming
- Undertitel
- 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
- Redaktör
- Bernardo Marco, Johnsen Einar Broch
- ISBN
- 9783319189406
- Språk
- engelska
- Vikt
- 281 gram
- Utgivningsdatum
- 19.5.2015
- Sidor
- 211







































