Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
teaching:cc7125 [2017/11/02 14:34]
etanter
teaching:cc7125 [2017/11/13 15:45] (current)
etanter
Line 45: Line 45:
     * Oct 30: Hoare2.v     * Oct 30: Hoare2.v
     * Nov 1: //feriado//     * Nov 1: //feriado//
-    * Nov 6:  +    * Nov 6: Smallstep.v (hasta normalizing) 
-    * Nov 8:  +    * Nov 8: Smallstep.v 
-    * Nov 13: +    * Nov 13: Perm.v y Sort.v (libro VFA) 
-    * Nov 15: //​tentativo:// ​JSCert (M. Bodin) ​//​tentativo://​ +    * Nov 15: JSCert (M. Bodin) 
-    * Nov 20: //​tentativo:// ​JSCert (M. Bodin) +    * Nov 20: JSCert (M. Bodin) 
-    * Nov 22: //​tentativo:// ​Verificación de Programas Probabilísticos (F. Olmedo)+    * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo)
  
-[[Proyectos]]+[[teaching:​cc7125:​Proyectos-2017]]
  
 ---- ----