Catalogue des thèses Marocaine en cour

Contributions à la specification et vérification des systèmes distribués .

Le Catalogue Collectif des Thèses en Afrique

Contributions à la specification et vérification des systèmes distribués .

KHARRAZ KARAM YOUNES
URI: http://thesencours.imist.ma/handle/123456789/41443
Date: 2014
Discipline: Informatique
Centre d'Etudes Doctorales (CED): Sciences et technologies de l'information et de l'ingénieur
Encadrant: ERRADI Mohammed
Equipe/Laboratoire: Traitement de l'Information et e-Stratégie

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