Integrated Formal Methods

Elemento

Título
Integrated Formal Methods
Autores
Johnsen
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-38612-1
eBook
978-3-642-38613-8
Colecciones
Springer