Automated technology for verification and analysis - International symposium, ATVA 2017. Proceedings 2017 : octubre, 3-6 : Pune, India); D'Souza, Deepak; Narayan Kumar, K. (Cham, Suiza : Springer, 2017)
Base de Datos SPRINGER
Referencias.
INGE
TECN
COMP
MANT
Keywords: 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