A materia ten carácter de introdución e profundización na utilización de métodos baseados na teoría matemática para a definición e construción de sistemas software.
Na materia tratarase de coñecer os principais métodos formais de definición e refinamiento de programas.
Materia do programa English Friendly. Os/ as estudantes internacionais poderán solicitar ao profesorado: a) materiais e referencias bibliografías para o seguimento da materia en inglés, b) atender as titorías en inglés, c) probas e avaliacións en inglés.
