Información del curso
La asignatura busca dar a conocer las nociones formales en cuanto al refinamiento de especificaciones de software se refiere, con el único objetivo de lograr implementaciones de software correctas, practicando estas nociones con ejemplos concretos.
- Profesor: JORGE MURILLO MURILLO
Redes sociales