Use el DOI o este identificador para enlazar este recurso: https://hdl.handle.net/20.500.14330/TES01000853590
Sustentante: Velázquez Cervantes, Diego Alejandro
Asesor(es) : Castañeda Rojano, Armando
Rosenblueth Laguette, David Arturo
Colaborador(es) : Ditmarsch, Hans Peter van, miembro del comité de grado
Título : Pattern models : dynamic epistemic logics for distributed systems
Fecha de publicación : 2024
Páginas: 1 recurso en línea (78 páginas)
Formato: application/pdf
Medio: computadora
Soporte: recurso en línea
Grado : Doctorado en Ciencia e Ingeniería de la Computación
Escuela o Facultad : Programa de Posgrado en Ciencia e Ingeniería de la Computación
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
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/TES01000853590
Fuente TESIUNAM: https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000853590
Aparece en las colecciones: Tesis de doctorado

Texto completo:
Archivo Descripción Tamaño Formato  
000853590.mrcRegistro bibliográfico en formato MARC1.91 kBMARCVisualizar/Abrir
0853590.pdfTexto Completo1.81 MBAdobe PDFVista previa
Visualizar/Abrir


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