Courses (at Pontificia Universidad Javeriana - Cali)- ADA - Análisis y Diseño de Algoritmos
- BFOM - Bases Formales de la Computación
- DFS - Desarrollo Formal de Software
- FAP - Fundamentos de Algoritmos y Programación
- INMO - Introducción al Modelado de Sistemas
- INPR - Introducción a la Programación
Courses (at Escuela Colombiana de Ingeniería)
- FMEF - Fundamentos en Métodos Formales
- LCAL - Lógica Calculativa
- PIMO - Programación Imperativa Modular
- TPRO - Teoría de la Programación
|
|