CORRECCION DE ALGORITMOS COMPLEJOS: VERIFICACION FORMAL

Corrección de algoritmos complejos es un texto eminentemente práctico, cuya finalidad es la de ofrecer al alumno una guía para comprender y afianzar los conocimientos teóricos a través de la resolución de ejercicios de elevada dificultad. Está dirigida a estudiantes con ciertos conocimientos sobre el tema, a los que permitirá profundizar aún más mediante el autoaprendizaje a través de la práctica de ejercicios.