La materia tiene carácter de introducción y profundización en la utilización de métodos basados en la teoría matemática para la definición y construcción de sistemas software.
En la materia se tratará de conocer los principales métodos formales de definición y refinamiento de programas.
Materia del programa English Friendly. Los/ las estudiantes internacionales podrán solicitar al profesorado: la) materiales y referencias bibliografías para el seguimiento de la materia en inglés, *b) atender las tutorías en inglés, *c) pruebas y evaluaciones en inglés.