Construcción formal de programas en teoría de tipos 2026
Share:
Curso PEDECIBA Informática
Objetivos: Iniciar al estudiante al uso de métodos formales para la producción de software correcto por construcción. Conocer los sistemas de autenticación más importantes identificando sus características