Automated technology for verification and analysis /

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 edición
Materias:
Ingeniería de software
Lenguajes de programación
Inteligencia artificial
Entornos virtuales compartidos
Organización de computadores
Teoría de la computación
Compiladores (Programas para computador)
Intérpretes (Programas para computador)
Libros electrónicos
Descripción
Notas:Base de Datos SPRINGER
Descripción Física:1 recurso en línea : ilustraciones, diagramas, gráficos.
Bibliografía:Referencias.
ISBN:9783319681672

Ejemplares similares