1/1
Critical Systems : Formal Methods and Automated Verification
Autor/Editor: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - 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.: 9933
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-45943-1
ISSN-e: 1611-3349