Show simple item record

Generación y uso de abstracciones en la comprobación de modelos simbólica

dc.contributor.authorArenas Yerena, Carlos Dario
dc.date.accessioned2020-08-07T16:13:56Z
dc.date.available2020-08-07T16:13:56Z
dc.date.issued2009
dc.identifier.urihttps://repositorio.cinvestav.mx/handle/cinvestav/163
dc.formatpdf
dc.format.extentxi, 98 h. :28 cm.
dc.language.isospa
dc.publisherTesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara.
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationINGENIERÍA Y TECNOLOGÍA
dc.titleGeneración y uso de abstracciones en la comprobación de modelos simbólica
dc.typemasterThesis
dc.contributor.directorGonzález Torres, Raúl Ernesto
dc.identificator7
dc.identifier.marc01182cam a2200229 a 4500
dc.coverage.placeofpublicationGuadalajara, Jalisco, México
dc.description.institutionCINVESTAV
dc.description.unidadUnidad Guadalajara
dc.thesis.areaTecnología y Ciencias de la Ingeniería
dc.thesis.degreedisciplineComputación.
dc.rights.accessopenAccess


Files in this item

Thumbnail
Name:
SSIT000009065.pdf
Size:
53.32Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/4.0
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0