algo1:2012-2
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| algo1:2012-2 [2012/11/08 14:42] – damian | algo1:2012-2 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 63: | Línea 63: | ||
| * 6/11 Técnica de predicados intermedios Ej 9 y 11.a) | * 6/11 Técnica de predicados intermedios Ej 9 y 11.a) | ||
| * 8/11 Técnica de fortalecimiento de invariantes. Ej 12 | * 8/11 Técnica de fortalecimiento de invariantes. Ej 12 | ||
| + | * 13/11 Problemas de Borde. | ||
| + | * 15/11 Problemas de Borde. | ||
| + | * 20/11 Problemas de asignación de arreglos. | ||
| + | * 22/11 Parcial | ||
| ===== Bibliografía ===== | ===== Bibliografía ===== | ||
algo1/2012-2.1352385738.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)