Formal Methods for Multicore Programming

Elemento

Título
Formal Methods for Multicore Programming
Autores
Bernardo
Año Publicación
2015
Editorial
Springer International Publishing
ISBN
978-3-319-18940-6
eBook
978-3-319-18941-3
Colecciones
Springer