1/1
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: Bouajjani, Ahmed - Monniaux, David
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Computer Communication Networks - Mathematical Logic and Formal Languages - Computation by Abstract Devices - Programming Languages - Compilers - Interpreters
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10145
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-52234-0
ISSN-e: 1611-3349