Teoría de la computación y verificación de programas | Apuntes, ejercicios y exámenes resueltos