Outils pour utilisateurs

Outils du site


enseignement:masters:master-lp-m2

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édentes Révision précédente
enseignement:masters:master-lp-m2 [25/09/20 05:11]
Treinen Ralf liens inscriptions pedago
enseignement:masters:master-lp-m2 [28/09/20 15:29] (Version actuelle)
Treinen Ralf [Cours fondamentaux aux choix] lien methodes formelles Verif
Ligne 22: Ligne 22:
  
 ^ Matière ^ Responsable 20/21 ^ ^ Matière ^ Responsable 20/21 ^
-| Méthodes Formelles de Vérification | [[https://​www.irif.fr/​~abou/​|Ahmed Bouajjani]]|+| [[https://​www.irif.fr/​~abou/​cours-mfverif.html|Méthodes Formelles de Vérification]] | [[https://​www.irif.fr/​~abou/​|Ahmed Bouajjani]]|
 | [[https://​www.irif.fr/​~francoisl/​m2modspec.html|Modélisation et Spécification]] | [[https://​www.irif.fr/​~sangnier/​main-sangnier.html|Arnaud Sangnier]], [[https://​www.irif.fr/​~francoisl|François Laroussinie]]| | [[https://​www.irif.fr/​~francoisl/​m2modspec.html|Modélisation et Spécification]] | [[https://​www.irif.fr/​~sangnier/​main-sangnier.html|Arnaud Sangnier]], [[https://​www.irif.fr/​~francoisl|François Laroussinie]]|
 | [[https://​gaufre.informatique.univ-paris-diderot.fr/​aguatto/​progsync-m2-eidd-20-21|Programmation Synchrone]] | [[https://​www.irif.fr/​~guatto/​|Adrien Guatto]] | | [[https://​gaufre.informatique.univ-paris-diderot.fr/​aguatto/​progsync-m2-eidd-20-21|Programmation Synchrone]] | [[https://​www.irif.fr/​~guatto/​|Adrien Guatto]] |
enseignement/masters/master-lp-m2.txt · Dernière modification: 28/09/20 15:29 par Treinen Ralf

Outils de la page