Basics of verification of distributed systems

Catalog of Télécom SudParis courses

Code

IGYE CSC 7272

Semester

Year

Domain

Informatique

Program

Master

Language

English

ECTS Credits

2,5

Organisation

Cours/TD/TP/projet/examen :