| 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é |
|