Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching [2019/04/01 14:10] – etanterteaching [2019/04/01 14:10] – etanter
Line 4: Line 4:
   * [[teaching:cc4101|Programming Languages (CC4101)]]   * [[teaching:cc4101|Programming Languages (CC4101)]]
   * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]     * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]  
-  * [[teaching:cc71y|Programming Languages II (CC7110)]]+  * [[teaching:cc7110|Programming Languages II (CC7110)]]
   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]