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
Edición de la obra Formal Methods for Multicore Programming
| Autor | Marco Bernardo, Einar Broch Johnsen |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 211 |
| ISBN-13 | 9783319189413 |
| Número de Cutter | B523f |