1/1
FM 2016 : Formal Methods
Autor/Editor: Fitzgerald, John - Heitmeyer, Constance - Gnesi, Stefania - Philippou, Anna
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Management of Computing and Information Systems - Computation by Abstract Devices
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9995
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-48989-6
ISSN-e: 1611-3349