Formal Methods for Multicore Programming
de Marco Bernardo, Einar Broch Johnsen
Materias
Ediciones (2)
- Formal Methods for Multicore Programming (2015)
Springer London, Limited · inglés · ISBN 9783319189413
- Formal Methods for Multicore Programming (2015)
Springer · ISBN 9783319189406
