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