Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| teaching [2013/05/03 21:25] – etanter | teaching [2021/08/12 21:56] (current) – etanter | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ===== Courses ===== | ===== Courses ===== | ||
| - | + | | |
| - | | + | * [[https://users.dcc.uchile.cl/ |
| - | * [[teaching: | + | * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]] |
| - | * [[teaching: | + | * [[teaching:cc7110|Programming Languages II (CC7110)]] |
| - | * [[https://wiki.dcc.uchile.cl/ | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification |
| - | * [[teaching:CC4301| Arquitectura de Computadores | + | * [[teaching:CC7126|Análisis |
| - | * [[teaching:cc68s|Software Quality and Software Evolution | + | * [[teaching:CC5115|Programación |
| - | * [[teaching:cc3002|Programming Methodology | + | |
| - | * [[teaching:cc6403|Seminario Calidad | + | |
| - | * [[teaching:cc5111|Programación | + | |