UNAM
Usted está aquí: Inicio / Actividades académicas / Carrusel actividades académicas / Coloquio del IMUNAM - C. U. abril 2024

Coloquio del IMUNAM - C. U. abril 2024

“Decidibilidad de Lenguajes y Verificación Dinámica de Algoritmos Distribuidos”
Armando Castañeda, IMUNAM
Martes 2 de abril de 2024 a las 12:00 horas
Auditorio Alfonso Nápoles Gándara
https://www.matem.unam.mx/actividades/coloquio/cu/actividades

 https://www.matem.unam.mx/actividades/coloquio/cu/actividades/decidibilidad-de-lenguajes-y-verificacion-dinamica-de-algoritmos-distribuidos

  • Coloquio del IMUNAM - C. U. abril 2024

    Coloquio del IMUNAM - C. U. abril 2024

    Auditorio Alfonso Nápoles Gándara