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 edición
Subjects:	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

Similar Items