Automated technology for verification and analysis /

Automated technology for verification and analysis /

Bibliographic Details
Corporate Author: International symposium, ATVA 2017. Proceedings Pune, India)
Other Authors: D'Souza, Deepak (Editor), Narayan Kumar, K. (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham, Suiza : Springer, 2017.
Edition:1 edición
Subjects:
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

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items