Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
teaching [2013/04/21 09:13] – etanter | teaching [2020/02/10 12:07] – [Courses] folmedo | ||
---|---|---|---|
Line 2: | Line 2: | ||
===== Courses ===== | ===== Courses ===== | ||
- | + | | |
- | | + | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] |
- | * [[teaching:cc5104|Programming Languages II (CC5104/ | + | * [[teaching:cc7110|Programming Languages II (CC7110)]] |
- | * [[teaching:CC71P|Objects and Aspects | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, |
- | * [[https:// | + | * [[teaching:CC7126|Análisis y Verificación de Programas |
- | * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]] ex. Introducción al Hardware (CC41C) | + | * [[teaching:CC5115|Programación Funcional |
- | * [[teaching:cc68s|Software Quality | + | |
- | * [[teaching:cc3002|Programming Methodology | + | |
- | * [[teaching:cc6403|Seminario Calidad y Evolución de Software | + | |
- | + |