Diferencias

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

--- res_practmodelcheking [2010/06/09 12:17]
ezpeleta
+++ res_practmodelcheking [2010/06/09 12:23]
ezpeleta creado
@@ Línea 1: / Línea 1: @@
-  PROGRAMACIÓN CONCURRENTE
+<code>
-  Ingeniería Informática Curso 09-10
+PROGRAMACIÓN CONCURRENTE
+Ingeniería Informática Curso 09-10
-  Resultados de la corrección de la segunda práctica
-  (21/05/10-14:48)
+Resultados de la corrección de la práctica de Model Checking
+(21/05/10-14:48)
-  Nota: En caso de duda, hay que ponerse en contacto con
-        Miguel Ángel Latre (latre [at] unizar.es)
+Nota: En caso de duda, hay que ponerse en contacto con
-        Joaquín Ezpeleta (ezpeleta [at] unizar.es)
+      María José Ibáñez (mjibanez [at] unizar.es)
-  ===============================================================
+      Joaquín Ezpeleta (ezpeleta [at] unizar.es)
+      María José Ibáñez (mjibanez [at] unizar.es)
-  NIP    Nota
+===============================================================
-  ---    ----
-   10
+NIP     Nota
-    9
+---     ----
-    9
+   9.5
-   10
+   9.5
-   NP
+    NP
-    8
+     9
-    8
+     7
+     9
+   8.5
+</code>

res_practmodelcheking.txt · Última modificación: 2010/06/09 12:23 por ezpeleta

Volver arriba