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