Departamento de Ciencias e Ingeniería de la Computación

Metodos Formales para Ingenieria de Software - Cód. 7811

Profesor: Maria Laura Cobo ()

Asistente: Andrea Cohen ()

Ayudantes:

José Paredes y Mario Leiva

horario Horarios

Jueves de 8 a 12 hs en el Laboratorio LP004 (Edificio DCIC - Campus Palihue)

recientes Archivos recientes

    02.09.20

    Bienvenidos a Métodos Formales para Ingeniería de Software - Cursado 2020

     

    Este año utilizaremos el Aula Virtual de Moodle UNS (ingresá al aula virtual de Métodos Formales para Ingeniería de Software haciendo click en este link). 

     

    Toda la información, material de estudio, etc. se encontrará disponible allí. 

     

    IMPORTANTE: El dictado de la materia iniciará el día Jueves 10 de Septiembre.

    DCIC-UNSDepartamento de Ciencias e Ingeniería de la Computación
    Universidad Nacional del Sur
    Avenida Alem 1253 - Bahía Blanca, Buenos Aires, Argentina.
    Telefono: (54)(291)4595135
    Fax: (54)(291)4595136

    Las fotografías del encabezado son de Carlos Lorenzetti.