Integrated Formal Methods

Elemento

Título (dcterms:title)

Integrated Formal Methods

Autores (dcterms:creator)

Johnsen

Año Publicación (dcterms:date)

2013

Editorial (dcterms:publisher)

Springer Berlin Heidelberg

ISBN (bibo:isbn)

978-3-642-38612-1

eBook (bibo:isbn13)

978-3-642-38613-8

PDF (bibo:uri)

Colecciones

Position: 3802 (1 views)