Mémoires de Fin d’Etudes
Etablissement
Université de Constantine 1 - Frères Mentouri
Affiliation
Département de l’Informatique
Auteur
BETTAZ, Med
Co-directeur
(Docteur)
Filière
Informatique
Diplôme
Magister
Titre
Logique et réécriture : langage de spécification et de prototype de systèmes distribués.
Statut
Vérifié