Formal Methods for Multicore Programming
Edición de la obra Formal Methods for Multicore Programming
| Autor | Marco Bernardo, Einar Broch Johnsen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 19, 2015 |
| Páginas | 218 |
| Formato | paperback |
| ISBN-13 | 9783319189406 |
| ISBN-10 | 3319189409 |
| Número de Cutter | B523f |