Nos Events
Nos Actus
Liens
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Rechercher
Annuaire
Journaux
Publications
Ouvrages
Thèses
Congrès
Communications
Brevets
Enseignement
Recrutement
Appels d'offres
Annonces
A propos de Nous
Mot du doyen
Organigramme
Historique
Faculté en chiffres
Statistiques
Galerie
Aires et salles
Contacter-nous
En
En
Admissions
Lycéens : entrer à la faculté
Inscription en premier cycle
Master
Doctorat
Étudiants internationaux
Recherche
Stratégie de recherche
Structures de recherche
Projets
Bases bibliographiques
Formations doctorales
Centre des études doctorales
Habilitation
Publications & Congrès
Journaux
Publications
Ouvrages
Congrès
Innovation
Plateformes techniques
Brevets
Formations
Filières
Licences
Licence Professionelle
Master
Ressources pédagogiques
Bibliothèque
Cours en ligne
Scolarité
Calendrier académique
Calendrier des vacances
Emplois de temps
Calendrier des examens
Notes et Inscription
Service de scolarité
Gouvernance
Bureau décanal
Conseil d'Etablissement
Départements
Services
A propos de Nous
Mot du doyen
Organigramme
Historique
Faculté en chiffres
Statistiques
Galerie
Aires et salles
Contacter-nous
Rechercher dans
Annuaire
Journaux
Publications
Ouvrages
Thèses
Congrès
Communications
Brevets
Enseignement
Recrutement
Appels d'offres
Annonces
Liens
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Nos Events & Actus
Nos Events
Nos Actus
FSA
Ouvrages
Thèse nationale
Programmation impérative par raffinements avec l'assistant de preuve Coq
Programmation impérative par raffinements avec l'assistant de preuve Coq
Université Ibn Khaldoun
Date de soutenance: 29-05-2019
Encadrant
OUAKILI Youssef
Erreur
×
Un problème est survenu. Veuillez réessayer ou contacter l'administrateur de l'application.
OK
Université Ibn Khaldoun
