Libros recomendados
Lógica Matemática para Informáticos. Ejercicios resueltos Teresa Hortalá, Narciso Martí, Miguel Palomino, Mario Rodríguez y Rafael del Vado bib entry |
All About Maude – A High Performance Logical Framework M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott bib entry |
Introducción a la computación Narciso Martí Oliet, Miguel Palomino Tarjuelo y José Alberto Verdejo López bib entry |