 |
BB |
CORMEN, T. H. Introduction to algorithms. 4th ed. [s. l.]: MIT Press, 2022.
@libro - Disponible en formato electrónico
|
 |
BB |
Díaz Roca, Margarita. Metodología y Tecnología de la programación II / Margarita Dı́az Roca Juan Carlos Rodrı́guez del Pino. Las Palmas de Gran Canaria: Servicio de publicaciones y difusión científica de la Universidad de Las Palmas, 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
|
