Conoce las contribuciones más recientes sobre teoría de construcción de programas en el MPC 2015, con estudios sobre algoritmos eficientes, verificación formal y modelado matemático aplicado al desarrollo de software.