1/1
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Legay, Axel - Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Algorithm Analysis and Problem Complexity - Software Engineering - Computation by Abstract Devices - Programming Languages - Compilers - Interpreters - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10206
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-662-54580-5
ISSN-e: 1611-3349