Corrección de algoritmos complejosverificación formal
Editorial: Servicio de Publicaciones ; Universidad de Cádiz
ISBN: 978-84-9828-265-8
Año de publicación: 2010
Tipo: Libro
Resumen
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