seminarios_de_metodos_formales:main
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| seminarios_de_metodos_formales:main [2009/02/12 17:25] – chun | seminarios_de_metodos_formales:main [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 2: | Línea 2: | ||
| Desde 2007, luego de la primer mitad de año, se vienen realizando los seminarios de Métodos Formales. Los mismos se realizan en la Sala de Computación (Sala Smith - 3er piso Lado Oeste). | Desde 2007, luego de la primer mitad de año, se vienen realizando los seminarios de Métodos Formales. Los mismos se realizan en la Sala de Computación (Sala Smith - 3er piso Lado Oeste). | ||
| + | |||
| + | Desde 2009 los seminarios de métodos formales han pasado a llamarse " | ||
| ==== Archivo ==== | ==== Archivo ==== | ||
| + | |||
| + | * [[2009|Año 2009]] | ||
| * [[2008|Año 2008]] | * [[2008|Año 2008]] | ||
| Línea 14: | Línea 18: | ||
| {{seminarios_de_metodos_formales: | {{seminarios_de_metodos_formales: | ||
| + | | ||
seminarios_de_metodos_formales/main.1234466723.txt.gz · Última modificación: (editor externo)
