Automated technology for verification and analysis /

Detalles Bibliográficos
Autor Corporativo:	International symposium, ATVA 2017. Proceedings Pune, India)
Otros Autores:	D'Souza, Deepak (Editor ), Narayan Kumar, K. (Editor )
Formato:	Procedimiento de la Conferencia Libro
Lenguaje:	English
Publicado:	Cham, Suiza : Springer, 2017.
Edición:	1 edición
Materias:	Ingeniería de software Lenguajes de programación Inteligencia artificial Entornos virtuales compartidos Organización de computadores Teoría de la computación Compiladores (Programas para computador) Intérpretes (Programas para computador) Libros electrónicos

Ejemplares similares