suivant:
EFF : Effectivité et efficacité
monter:
DEA, filière méthodes formelles
précédent:
Contacts
Table des matières
Présentation des modules
Sous-sections
EFF : Effectivité et efficacité
A2R : analyse, synthèse et supervision des systèmes réactifs et répartis
SAP : Sémantique et analyse de programmes
COT : Composants et test
PLOG :
Prolog
MDV: Méthodes Déductives pour la Vérification
TCPR : Programmation avancée
MLTO : Méthode, langage et technologie objets
Prolog