Formal Methods for Industrial Critical Systems

Elemento

Título
Formal Methods for Industrial Critical Systems
Autores
Núñez
Año Publicación
2015
Editorial
Springer International Publishing
ISBN
978-3-319-19457-8
eBook
978-3-319-19458-5
Colecciones
Springer