Una Introducción al Análisis y la Verificación de Algoritmos : Área: Análisis y Verificación de Algoritmos (E. A. . Niño Velásquez , Trans.). (2024). Libros Interactivos Multimedia (MI-Books), 1-142. https://doi.org/10.15765/0xbryk38