Basics of verification of distributed systems

Catalogue des cours de Télécom SudParis

Code

IGYE CSC 7272

Semestre

Year

Domaine

Informatique

Programme

Master

Langue

English

Crédits ECTS

2,5

Organisation

Cours/TD/TP/projet/examen :