1/1

Theoretical Aspects of Computing - ICTAC 2015

Autor/Editor: Leucker, Martin - Rueda, Camilo - Valencia, Frank D.

Año de edición: 2015

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-319-25150-9

Idioma: inglés

Colección: Computación

Keywords: Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Discrete Mathematics in Computer Science - Software Engineering - Mathematical Logic and Formal Languages

Título de la Serie: Lecture Notes in Computer Science

Vol.No.: 9399

Tipo de documento: Reunión

Edición: 1st ed.

Editor: Springer International Publishing

ISBN-e: 978-3-319-25150-9

ISSN-e: 1611-3349

Buscar Por: