1/1
Foundations of Software Science and Computation Structures
Autor/Editor: Pitts, Andrew
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Programming Languages - Compilers - Interpreters - Software Engineering - Computation by Abstract Devices
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9034
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-662-46678-0
ISSN-e: 1611-3349