Cursos
de Posgrado y Formación Superior en Computación - Segundo
Cuatrimestre de 2006
- "Cálculo de Refinamiento", Dr. Javier BLANCO.
Aula y Horarios a determinar. Programa
Puntaje: 3 créditos
- " Verificación de Sistemas Críticos",
Dr. Pedro D’ARGENIO.
Aula y Horarios a determinar. Programa.
Puntaje: 3 créditos
- "Introducción a la Teoría de
Códigos Autocorrectores", Dr. Ricardo PODESTÁ.
Aula y Horarios a determinar. Progrma.
Puntaje: 3 créditos
- " Álgebras de procesos:
Teorías ecuatoriales para procesos que se comunican", Dr. J. C.
M. Baeten y la Colab. de los Dres. Pedro D’Argenio y Javier BLANCO.
Aula y
Horarios a determinar. Programa.
Puntaje:
1 crédito