Diferencias

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

Enlace a la vista de comparación

materias:tecnicasprototipos [2016/04/14 13:46]
juancmartinez [Contenido]
materias:tecnicasprototipos [2016/04/14 13:47] (actual)
juancmartinez [Contenido]
Línea 40: Línea 40:
 | 5 | Propiedades de sistemas confiables  |  [2,4]  | | 5 | Propiedades de sistemas confiables  |  [2,4]  |
 | 6,7,8 | Diseño orientado por especificación |  [4]  | | 6,7,8 | Diseño orientado por especificación |  [4]  |
-| 9,10 | Invariantes   |  [2,4]  |+| 9,10 | Invariantes   |  [3,4]  |
 | 11,12,13,14  | Verificación de invariantes y model checking |  [4,5]  | | 11,12,13,14  | Verificación de invariantes y model checking |  [4,5]  |
 | 15  | Abstracción y composición |  [4,5]  | | 15  | Abstracción y composición |  [4,5]  |
 
materias/tecnicasprototipos.txt · Última modificación: 2016/04/14 13:47 por juancmartinez
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki