Algoritmos y estructuras de datos : con programas verificados en Dafny - Peña-Marí, Ricardo (Madrid, España : Garceta, 2023)
Bibliografía.
MATE
INGE
ELECT
Keywords: Grafos; Programación dinámica.; Funciones; Cálculo.; Transformación.; Modelos matemáticos.; Terminología.; Árboles binarios; Libros