Outils pour utilisateurs

Outils du site


formations:masters:ue:m2:mfap10

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
formations:masters:ue:m2:mfap10 [2023/04/21 09:17] – ↷ Page déplacée de formations:masters:cours:m2:mfap10 à formations:masters:ue:m2:mfap10 treinenformations:masters:ue:m2:mfap10 [2023/04/21 09:50] (Version actuelle) – [Pré-requis] liens syllabi treinen
Ligne 29: Ligne 29:
   - Automates   - Automates
   - Algorithmes dans les graphes   - Algorithmes dans les graphes
-  - Avoir suivi un cours du premier semestre tel que Modélisation et Spécification ou Méthode formelle de vérification est un plus+  - Avoir suivi un cours du premier semestre tel que [[modspec9|Modélisation et Spécification]] ou [[mfv9|Méthodes formelles de vérification]] est un plus
  
  
formations/masters/ue/m2/mfap10.1682068649.txt.gz · Dernière modification : 2023/04/21 09:17 de treinen