Curso: 1 Carácter: Obligatorio Bibliografía validada el: 17/06/2024 |
BB | CORMEN, T. H. Introduction to algorithms. 4th ed. [s. l.]: MIT Press, 2022.
@libro - Disponible en formato electrónico |
|
BB | DÍAZ ROCA, M.; RODRÍGUEZ DEL PINO, J. C. Metodología y tecnología de la programación II. 2a. ed. [s. l.]: Universidad de Las Palmas de Gran Canaria, Vicerrectorado de Calidad e Innovación educativa, 2007. | |
BB | Especificación, Verificación y Derivación Formal de Programas / Javier Álvez... [et al.]. Pearson, 2015. | |
BB | Martínez Rodríguez, Javier. Curso de Programación 2 /Javier Martínez Rodrı́guez. [s.l.]:[s.n.], [2020]. [Comentario prof.: libro facilitado en pdf a través de moodle a los estudiantes]
@libro - Disponible en formato electrónico [Obs. docente: libro facilitado en pdf a través de moodle a los estudiantes. ] |
|
BB | Peña Marí, Ricardo. Diseño de programas : formalismo y abstracción / autor, Ricardo Peña Marí . - 3ª ed. Madrid [etc.] : Pearson Educación, D.L. 2004 |
Bernad Lusilla, Jorge Raul | |
Bernardi , Simona 1 | |
Bobed Lisbona, Carlos 1 | |
Carrillo Mondéjar, Javier 1 | |
Júlvez Bueno, Jorge Emilio 1 |