Options d’inscription

Ce cours a comme objectif de présenter les concepts fondamentaux des systèmes concurrents et répartis, ainsi que les outils de modélisation et de preuves de ces systèmes.

Auto-inscription en tant que « Étudiant-e »