Muestra las diferencias entre dos versiones de la página.
Ambos lados, revisión anterior Revisión previa Próxima revisión | Revisión previa | ||
res_practmodelcheking [2010/06/08 11:22] ezpeleta borrado |
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 | ||
+ | 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 | ||
+ | --- ---- | ||
+ | 534608 9.5 | ||
+ | 538465 9.5 | ||
+ | 529710 NP | ||
+ | 548967 9 | ||
+ | 523485 7 | ||
+ | 563827 9 | ||
+ | 537148 8.5 | ||
+ | </code> |