AccueilMasterInformatiqueEnseignementsAnalyse de programmes

Master InformatiqueUE Analyse de programmes

Contenu

Analyse statique ; ingénierie inverse ; introduction aux outils et méthodes formelles.

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 9 heures
  • Travaux dirigés : 9 heures
  • Travaux pratiques : 9 heures

Code APOGÉE

SINBU23L.