1. Repositorio Digital
  2. Tesis
  3. Trabajos de Diploma(Hasta Enero-2016)
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.authorCastillo Clark, Lineten
dc.contributor.authorOtero Dartayet, Dasielen
dc.date.accessioned2016-09-14T19:06:22Z-
dc.date.available2016-09-14T19:06:22Z-
dc.date.created2008en
dc.date.issued2008en
dc.date.issued3en
dc.identifier.urihttps://repositorio.uci.cu/jspui/handle/ident/TD_1661_08-
dc.description.abstractPropuestas 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.subjectCOMPUTACIONen
dc.subjectINFORMATICAen
dc.subjectGESTION DE SOFTWAREen
dc.subjectALGORITMOSen
dc.subjectPROYECTOSen
dc.subjectARQUITECTURA DE SOFTWAREen
dc.subjectPROPIEDADES ESTRUCTURALESen
dc.subjectMETODOS FORMALESen
dc.subjectANALISIS DE PROPIEDADESen
dc.titlePropuesta de tecnicas de analisis de propiedades estructurales en la Universidad de las Ciencias Informaticas (UCI).en
dc.typebachelorThesis
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 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.