Seminario de Demostración Automática
2do cuatrimestre - 2023
Prof: Ricardo Rodríguez Jueves de 18 a 22 hs
Cantidad total de horas: 64 horas
Horario: 4º Bimestre - Jueves 18 a 22
Página web: https://www.dc.uba.ar/cursada-de-grado/
Departamento que dicta esta materia este cuatrimestre: Departamento de Computación
