<<< 1/1 >>>

Applied Logic for Computer Scientists

Autor/Editor: Ayala-Rincón, Mauricio - Moura, Flávio L. C. de
Año de edición: 2017
Acceso: UBA
URL: http://dx.doi.org/10.1007/978-3-319-51653-0
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Math Applications in Computer Science
Título de la Serie: Undergraduate Topics in Computer Science
Tipo de documento: Monografía
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-51653-0
ISSN-e: 2197-1781