NASA Formal Methods

Elemento

Título
NASA Formal Methods
Autores
Brat
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-38087-7
eBook
978-3-642-38088-4
Colecciones
Springer