Catalogue des thèses Marocaine en cour

Vérification des programmes orientés objet par méthodes mathématiques

Le Catalogue Collectif des Thèses en Afrique

Vérification des programmes orientés objet par méthodes mathématiques

LOUZAOUI KHADIJA
URI: http://thesencours.imist.ma/handle/123456789/53183
Date: 2014
Discipline: Mathématiques, Informatique et Applications
Centre d'Etudes Doctorales (CED): Sciences et Techniques
Encadrant: MOHAMED YAHYAI

Fichiers dans ce document

Fichiers Taille Format Voir

Il n'ya pas de fichiers associés à cette thèse.

Cette thèse figure dans la collection suivante