Opzioni di iscrizione

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.

Iscrizione spontanea come 'Studente'