Computer Aided Verification

Elemento

Título
Computer Aided Verification
Autores
Sharygina
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-39798-1
eBook
978-3-642-39799-8
Colecciones
Springer