1/1
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: McMillan, Kenneth L. - Rival, Xavier
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Artificial Intelligence (incl. Robotics) - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Computer Communication Networks - Software Engineering - Logics and Meanings of Programs
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8318
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-642-54013-4
ISSN-e: 1611-3349