Diferencias

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

--- res_practmodelcheking [2010/06/08 11:16]
ezpeleta
+++ res_practmodelcheking [2010/06/09 12:23] (actual)
ezpeleta creado
@@ Línea 1: / Línea 1: @@
+<code>
 PROGRAMACIÓN CONCURRENTE
 Ingeniería Informática Curso 09-10
-Resultados de la corrección de la práctica sobre "Model checking"
+Resultados de la corrección de la práctica de Model Checking
-(07/06/10-13:10)
+(21/05/10-14:48)
 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)
       María José Ibáñez (mjibanez [at] unizar.es)
+===============================================================
-NIP    Nota
+NIP     Nota
----    ----
+---     ----
-  9.5
+   9.5
-  9.5
+   9.5
-   NP
+    NP
-    9
+     9
-    7
+     7
-    9
+     9
-  8.5
+   8.5
+</code>

res_practmodelcheking.1275995813.txt.gz · Última modificación: 2010/06/08 11:16 por ezpeleta

Volver arriba