1/1
Formal Methods for Industrial Critical Systems
Autor/Editor: Núñez, Manuel - Güdemann, Matthias
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 - Software Engineering - Special Purpose and Application-Based Systems - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9128
Tipo de documento: Reunión
Editor: Springer International Publishing
ISBN-e: 978-3-319-19458-5
ISSN-e: 1611-3349