Especificación, derivación y análisis de algoritmos : - Martí Oliet, Narciso (Pearson Educación, 2026)