Corrección de algoritmos complejosverificación formal
Verlag: Servicio de Publicaciones ; Universidad de Cádiz
ISBN: 978-84-9828-265-8
Datum der Publikation: 2010
Art: Buch
Zusammenfassung
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