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 [2014/08/02 20:04] – etanter | teaching [2020/08/28 17:03] – [Courses] etanter | ||
---|---|---|---|
Line 2: | Line 2: | ||
===== Courses ===== | ===== Courses ===== | ||
- | |||
- | * [[https:// | ||
- | * [[teaching: | ||
* [[teaching: | * [[teaching: | ||
- | * [[teaching:CC4301| Arquitectura de Computadores | + | * {{https:// |
* [[teaching: | * [[teaching: | ||
- | * [[teaching:cc6403|Seminario Calidad y Evolución de Software | + | * [[teaching:cc7110|Programming Languages II (CC7110)]] |
- | * [[teaching:CC71P|Objects | + | * [[teaching:CC7125|Introduction to Coq: Logic, Types, |
- | * [[teaching:cc71y|Programming Languages II (CC71Y)]] | + | * [[teaching:CC7126|Análisis y Verificación de Programas |
+ | * [[teaching: |