Télécom SudParis
Basics of verification of distributed systems
Catalogue des cours de Télécom SudParis
Français
Anglais
Fiche simple
Fiche complète
Code
IGYE CSC 7272
Semestre
Year
Domaine
Informatique
Programme
Master
Langue
English
Crédits ECTS
2,5
Organisation
Cours/TD/TP/projet/examen :