TY - GEN AU - Manrique García, María Aurora AU - Cascón Barbero, José Manuel AU - Cesteros Muñoz, Federico AU - García Sanz, María Dolores AU - García-Bernalt Alonso, Bernardo Ramón AU - Santos-García, Gustavo PY - 2019 UR - http://hdl.handle.net/10366/140618 LA - spa KW - Memoria de innovación docente KW - Matemáticas financieras KW - Material didáctico virtual TI - Introducción al lenguaje formal y técnicas de demostración orientados a la Facultad de Economía y Empresa ER -