Modelado de Sistemas Distribuídos y Concurrentes 2009/10
(MSDC0910.Mestrado)

En este curso se tratan los siguientes aspectos de los sistemas distribuídos y concurrentes: modelos y patrones de diseño y programación, tolerancia a fallos, validación y verficiación formales, evaluación del rendimiento.