¿Qué es un programa? Memoria de verificación