1/1
Automated Technology for Verification and Analysis
Autor/Editor: Finkbeiner, Bernd - Pu, Geguang - Zhang, Lijun
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Programming Languages - Compilers - Interpreters - Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics) - Programming Techniques
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9364
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-24953-7
ISSN-e: 1611-3349