Hola Gente.
Espero que se encuentren bien.
El equipo de cátedra, cuyos miembros también integramos en Laboratorio de Informática y Computación Aplicada (LICA) de la FIUNER, hemos desarrollado un apunte denominado Precondiciones, Postcondiciones e Invariantes: de los límites de la computación a la especificación de algoritmos para su estudio y aplicación en la asignatura.
Este apunte es resultado de una parte de nuestras actividades de investigación y desarrollo en el LICA en el marco de proyectos de investigación financiados por a UNER.
El apunte fue colocado en la pestaña de Material de Teoría.
Cualquier duda, nos consultan.
Saludos cordiales.
Javier