Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

Ambos lados, revisión anterior Revisión previa
Próxima revisión
Revisión previa
res_practmodelcheking [2010/06/09 12:18]
ezpeleta
res_practmodelcheking [2010/06/09 12:23] (actual)
ezpeleta creado
Línea 1: Línea 1:
 +<​code>​
 PROGRAMACIÓN CONCURRENTE PROGRAMACIÓN CONCURRENTE
 Ingeniería Informática Curso 09-10 Ingeniería Informática Curso 09-10
  
-Resultados de la corrección de la segunda ​práctica+Resultados de la corrección de la práctica ​de Model Checking
 (21/​05/​10-14:​48) (21/​05/​10-14:​48)
  
 Nota: En caso de duda, hay que ponerse en contacto con  Nota: En caso de duda, hay que ponerse en contacto con 
-      ​Miguel Ángel Latre (latre [at] unizar.es) ​+      ​María José Ibáñez ​(mjibanez ​[at] unizar.es) ​
       Joaquín Ezpeleta (ezpeleta [at] unizar.es)       Joaquín Ezpeleta (ezpeleta [at] unizar.es)
 +      María José Ibáñez (mjibanez [at] unizar.es)
 =============================================================== ===============================================================
  
-NIP    Nota +NIP     ​Nota 
----    ---- +---     ​---- 
-534608 ​  10 +534608 ​  9.5 
-538465 ​   +538465 ​  ​9.5 
-529710 ​   ​9 +529710 ​   ​NP 
-548967 ​  10 +548967 ​    9 
-523485 ​  NP +523485 ​    7 
-563827 ​   8 +563827 ​    9 
-537148 ​   8+537148 ​  ​8.5 
 +</​code>​
res_practmodelcheking.1276085909.txt.gz · Última modificación: 2010/06/09 12:18 por ezpeleta
Volver arriba
CC Attribution-Noncommercial-Share Alike 3.0 Unported
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0