Sección de Ciencias de la Computación

Cursos de Posgrado

Los cursos de posgrados disponibles para el segundo semestre de 2007 se enumeran a continuación:

Curso	Docente a Cargo	Créd.
Técnicas formales para la seguridad del código móvil	Gilles Barthe	1
Procesamiento de Lenguaje Natural	Laura Alonso Alemany y Gabriel Infante López	3
Transformación de Modelos	Juan Durán	3
Criptología	Daniel Penazzi	3

Cursos anteriores
Álgebras de procesos: Teorías ecuacionales para procesos que se comunican (en inglés)	Jos Baeten (TUE-NL)	1
Cálculo de Refinamiento	Javier Blanco	3
Introducción a la Teoría de Códigos Autocorrectores	Ricardo Podestá	3
Verificación de Sistemas Críticos	Pedro R. D'Argenio	3

< Anterior