Red ProTIC - Escuela de Posgrado

Escuela de Posgrado
Red ProTIC

Tandil, del 18 al 28 de Abril de 2006

Métodos Formales "Livianos"

Fecha:	Desde el lunes 24 al viernes 28 de Abril de 2006
Lugar:	A confirmar
Idioma del curso:	Castellano
Evaluación:	Con Trabajo Práctico posterior a la Escuela PAV.
Acreditación:	Curso acreditado para la Maestría en Ingeniería de Sistemas de la Univ. Nac. del Centro de la Prov. de Bs. As. Curso acreditado para el Doctorado en Ciencias de la Computación de la Univ. Nac. del Centro de la Prov. de Bs. As. Se está tramitando su acreditación en otros postgrados.
Profesor:	Dr. Marcelo Frias y Dr. Nazareno M. Aguirre
Profesor:
Programa:	Ver programa
Material:	Clase 1 Clase 2 Clase 3 Clase 4 dynalloy.jar (El modo de uso es java -jar dynalloy. Usa java 1.5) grafosaciclicos.als grafosaciclicosdirigidos.als grafosconexos.als grafosconexosconbasura.als grafosconexossinbasura.als listasencadenadas.als trazas.als trazas.dals
Calificaciones:	Ver calificaciones