El curso Análisis Estático de Programas está a cargo del Mg. Claudio Vaucheret y tiene como objetivo que el estudiante conozca herramientas de depuración de programas y de desarrollo de software tanto en sus fundamentos como en casos de estudio utilizando preprocesamientos que deducen estáticamente las propiedades de los programas.
Inicia: 04 de junio de 2024.
Día y horarios de cursada: Martes y Jueves de 17 hs a 20 hs.