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

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible

Ejemplares similares