SVP na7taj les cours de master GL de constatine
Algorithmes Distribués,
Programmation
orientée Composant et Paradigmes de programmation.
Spécification et Vérification des Systèmes
Critiques (Méthodes Formelles pour le G.L),
: Validation et
Vérification, Outils et Méthodes pour l’I.A