この資料をSMS送信: Especificación, derivación y análisis de algoritmos: ejercicios resueltos