Diferencias

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

--- res_practmodelcheking [2010/06/08 11:18]
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 de Model Checking
+(21/05/10-14:48)
+Nota: En caso de duda, hay que ponerse en contacto con
+      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
+---     ----
+   9.5
+   9.5
+    NP
+     9
+     7
+     9
+   8.5
+</code>

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

Volver arriba