1/1
Computer Aided Verification
Autor/Editor: Madhusudan, P. - Seshia, Sanjit A.
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics) - Special Purpose and Application-Based Systems - Computer Hardware
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7358
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-31424-7
ISSN-e: 1611-3349