Use el DOI o este identificador para enlazar este recurso: https://hdl.handle.net/20.500.14330/TES01000643174
Clasificación : 001-00327-V1-2009
Sustentante: Vázquez Sandoval, Itzel
Asesor(es) : Carrillo Barajas, Miguel
Título : Verificación de modelos para lógica híbrida de tiempo ramificado
Fecha de publicación : 2009
Páginas: 1 recurso en línea (xiv, 97 páginas)
Formato: application/pdf
Medio: computadora
Soporte: recurso en línea
Grado : Licenciatura en Ciencias de la Computación
Escuela o Facultad : Facultad de Ciencias
Institución : Universidad Nacional Autónoma de México
Area del conocimiento : Ciencias Físico - Matemáticas y de las Ingenierías
URI : https://hdl.handle.net/20.500.14330/TES01000643174
Fuente TESIUNAM: https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000643174
Aparece en las colecciones: Tesis de licenciatura

Texto completo:
Archivo Descripción Tamaño Formato  
000643174.mrcRegistro bibliográfico en formato MARC1.2 kBMARCVisualizar/Abrir
0643174.pdfTexto Completo1.16 MBAdobe PDFVista previa
Visualizar/Abrir
0643174_A2.zipSoftware213.02 kBUnknownVisualizar/Abrir


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