|
|
|
Curso: 1 Carácter: Obligatoria Bibliografía validada el: 26/06/2025 |
 |
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 |
|
|
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 |
| Bobed Lisbona, Carlos | |
| Carrillo Mondéjar, Javier | |
| García Lucas, David |
