أرسل هذا في رسالة قصيرة: Computabilidad, complejidad computacional y verificación de programas /