Enviar aquest missatge de text: Especificación, derivación y análisis de algoritmos: ejercicios resueltos