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.

• profesor (editor): David
• profesor (editor): Víctor M.