Ouvrages

HEDDAD Abdelaaziz

Contact
En

En

Accueil
Enseignement
Recherche
Contact

HEDDAD Abdelaaziz

Recherche

Production scientifique
Sujets de recherche 4
Publications 113
Ouvrages 1
Communications 2
Thèses 2
Thèses encadrées 16
Jury de thèse 7
Projets 4
Brevets 2
Congrès 15
Visites scientifiques 2

A. Heddad
Recherche
Ouvrages

Ouvrages

Un système de types pragmatique pour la vérification déductive des programmes

Eyrolles, 2011

A. Heddad (Auteur)

Production scientifique
Sujets de recherche 4
Publications 113
Ouvrages 1
Communications 2
Thèses 2
Thèses encadrées 16
Jury de thèse 7
Projets 4
Brevets 2
Congrès 15
Visites scientifiques 2

Département d'Informatique, Bureau N8, Faculté des Science d'Assilah, Université Ibn Khaldoun, 53000 Assilah-tanger Maroc

moth_had@asbesto.edu

Visiteurs 406

Erreur

Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.