Introduction to formal methods

Catalogue des cours de Télécom SudParis

Code

IGFE NET 7236

Domaine

Réseaux

Programme

Master

Langue

English

Crédits ECTS

3

Heures programmées

45

Organisation

Cours/TD/TP/projet/examen :