Méthodes formelles (de développement) pour le génie logiciel

Méthodes formelles (de développement) pour le génie logicielCode de l'UE : HMIN338

Volume horaire

  • CM : 0
  • TD : 0
  • TP : 0
Diplômes intégrant cette UE

En bref

Crédits ECTS 5

Période de l'année
S3