<<< 1/1 >>>

Automated Technology for Verification and Analysis

Autor/Editor: Cassez, Franck - Raskin, Jean-François
Año de edición: 2014
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-319-11936-6
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Programming Languages - Compilers - Interpreters - Logics and Meanings of Programs - Computer Communication Networks - Programming Techniques - Software Engineering
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8837
Tipo de documento: Reunión
Editor: Springer International Publishing
ISBN-e: 978-3-319-11936-6
ISSN-e: 1611-3349