Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département d’Informatique
Auteur
CHAABANI, Mohamed
Directeur de thèse
Mezghiche Mohamed (Professeur)
Filière
Informatique
Diplôme
Magister
Titre
Spécification, preuve et extraction automatique des programmes en cop cas : l’algorithme HEB + réduction
Mots clés
Commande automatique ; Algorithmes HEB ; Exploration de données ; Programmes en cop
Date de soutenance
2003
Cote
TH 6
Pagination
60 p.
Illusatration
ill.
Statut
Traitée
Tags & Categories
département
etablissement
université
affiliation
mohamed
auteur
informatique
boumerdes
hamed
bougara
chaabani
universitÉ
Établissement
établissement
univérsité
boumerdes
departement
établissement
universite
établissement
affiliation
boumerdès
chaabani
d’informatique
département
directeur
etablissement
université