Diferencias

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

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

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

Volver arriba