1/1

Recent Trends in Algebraic Development Techniques

Autor/Editor: Martí-Oliet, Narciso - Palomino, Miguel

Año de edición: 2013

Acceso: UBA

URL: http://dx.doi.org/10.1007/978-3-642-37635-1

Idioma: inglés

Colección: Computación

Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Mathematics of Computing - Theory of Computation - Computation by Abstract Devices - Mathematical Logic and Foundations

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

Tipo de documento: Reunión

Editor: Springer Berlin Heidelberg

ISBN-e: 978-3-642-37635-1

ISSN-e: 1611-3349

Buscar Por: