1/1
Computer Aided Verification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Autor/Editor: Majumdar, Rupak - KunÄak, Viktor
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Simulation and Modeling - The Computing Profession - System Performance and Evaluation - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10426
Tipo de documento: Reunión
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-63387-9
ISSN-e: 1611-3349