Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.uci.cu/jspui/handle/ident/TD_1661_08
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Castillo Clark, Linet | en |
dc.contributor.author | Otero Dartayet, Dasiel | en |
dc.date.accessioned | 2016-09-14T19:06:22Z | - |
dc.date.available | 2016-09-14T19:06:22Z | - |
dc.date.created | 2008 | en |
dc.date.issued | 2008 | en |
dc.date.issued | 3 | en |
dc.identifier.uri | https://repositorio.uci.cu/jspui/handle/ident/TD_1661_08 | - |
dc.description.abstract | Propuestas de tecnica analisis de propiedades estructurales de verificacion algoritmica o model checking y su implementacion en los proyectos productivos de la Universidad de las Ciencias Informaticas. | en |
dc.subject | COMPUTACION | en |
dc.subject | INFORMATICA | en |
dc.subject | GESTION DE SOFTWARE | en |
dc.subject | ALGORITMOS | en |
dc.subject | PROYECTOS | en |
dc.subject | ARQUITECTURA DE SOFTWARE | en |
dc.subject | PROPIEDADES ESTRUCTURALES | en |
dc.subject | METODOS FORMALES | en |
dc.subject | ANALISIS DE PROPIEDADES | en |
dc.title | Propuesta de tecnicas de analisis de propiedades estructurales en la Universidad de las Ciencias Informaticas (UCI). | en |
dc.type | bachelorThesis | |
Aparece en las colecciones: | Trabajos de Diploma(Hasta Enero-2016) |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
TD_1661_08.pdf Restricted Access | 722.62 kB | Adobe PDF | Visualizar/Abrir |
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.