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'
Gli ospiti non possono entrare in questo corso, per favore autenticati.