Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
teaching:cc7125 [2017/11/02 14:34] – etanter | teaching:cc7125 [2017/11/13 15:45] – 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: // | + | * Nov 15: JSCert (M. Bodin) |
- | * Nov 20: // | + | * Nov 20: JSCert (M. Bodin) |
- | * Nov 22: // | + | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) |
- | [[Proyectos]] | + | [[teaching: |
---- | ---- |