1. Repositorio de Tesis DGBSDI
  2. TESIUNAM
  3. Tesis de licenciatura
Use el DOI o este identificador para enlazar este recurso: https://hdl.handle.net/20.500.14330/TES01000671423
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.advisorMiranda Perea, Favio Ezequiel
dc.creatorCortés Ortiz, Juan Carlos
dc.date.created2011-08-10T00:00:00-
dc.date.issued2011
dc.identifier.urihttps://hdl.handle.net/20.500.14330/TES01000671423-
dc.format.extent1 recurso en línea (77 páginas)-
dc.format.mediumcomputadora
dc.format.mimetypeapplication/pdf
dc.languagespa-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.source.urihttps://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000671423
dc.subject.classificationCiencias Físico - Matemáticas y de las Ingenierías
dc.titleMétodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy
dc.typeTesis de licenciatura
dcterms.contributorMiranda Perea, Favio Ezequiel::orcid::0000-0003-0436-5034::role::asesorTesis-
dcterms.creatorCortés Ortiz, Juan Carlos::si::SinIdentificador
dc.degree.nameLicenciatura en Ciencias de la Computación
dc.degree.grantorUniversidad Nacional Autónoma de México
dc.identifier.urlhttp://132.248.9.195/ptb2011/agosto/0671423/Index.html
dc.format.supportrecurso en línea
dc.degree.departmentFacultad de Ciencias
dc.identifier.classification001-00327-C2-2011
dc.degree.levelLicenciatura
dc.rights.accessrightsAcceso en línea sin restricciones
dc.type.versionpublishedVersion
dc.publisher.locationMX
dc.date.modified2023-11-25T00:00:00-
Aparece en las colecciones: Tesis de licenciatura

Texto completo:
Archivo Descripción Tamaño Formato  
000671423.mrcRegistro bibliográfico en formato MARC1.21 kBMARCVisualizar/Abrir
0671423_A1.pdfTexto Completo1.42 MBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del recurso


Este recurso está sujeto a una Licencia Creative Commons Creative Commons