Formal Methods for Multicore Programming

Elemento

Título (dcterms:title)

Formal Methods for Multicore Programming

Autores (dcterms:creator)

Bernardo

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-18940-6

eBook (bibo:isbn13)

978-3-319-18941-3

PDF (bibo:uri)

EPUB (foaf:workInfoHomepage)

Colecciones

Not viewed