Diferencias

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

Enlace a la vista de comparación

materias:dfp [2016/07/26 14:26]
crueda [Capítulo 8: Diseño de programas concurrentes y distribuidos]
materias:dfp [2016/07/26 14:27] (actual)
crueda [Bibliografía]
Línea 224: Línea 224:
    -  De eventB.org //Estrategia de uso de probadores de Rodin // http://wiki.event-b.org/index.php/Rodin_Provers     -  De eventB.org //Estrategia de uso de probadores de Rodin // http://wiki.event-b.org/index.php/Rodin_Provers 
    -  Requerimientos en Rodin //Tutorial // http://pror.org/content/tutorial     -  Requerimientos en Rodin //Tutorial // http://pror.org/content/tutorial 
-   - Clark, Grumberg,  Peled //Model Checking//. MIT Press, 2000+   - E. Clark, O. Grumberg,  D. Peled //Model Checking//. MIT Press, 2000
 ===== Material de este semestre ===== ===== Material de este semestre =====
  
 
materias/dfp.txt · Última modificación: 2016/07/26 14:27 por crueda
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki