1 résultat(s) recherche sur le tag 'méthodes formelles, réseaux de petri, AToM3.'    

Modélisation multi-paradigme / El-hillali Kerkouche  

Public ISBD Titre : Modélisation multi-paradigme : Une approche basée sur la transformation de graphes Type de document : texte imprimé Auteurs : El-hillali Kerkouche, Auteur ; Allaoua Chaoui, Directeur de thèse ; Elbay Bourennane, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 133 f. Format : 31 cm Note générale : Doctorat en Sciences 2 copies imprimées disponibles Langues : Français (fre) Tags : Ingénierie dirigée par les modèles  modélisation multi-paradigme  métamodélisation  transformation de graphes  grammaires de graphes  méthodes formelles, réseaux de petri, AToM3. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/KER6035.pdf Format de la ressource électronique : pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5961 Modélisation multi-paradigme : Une approche basée sur la transformation de graphes [texte imprimé] / El-hillali Kerkouche, Auteur ; Allaoua Chaoui, Directeur de thèse ; Elbay Bourennane, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 133 f. ; 31 cm. Doctorat en Sciences 2 copies imprimées disponibles Langues : Français (fre) Tags : Ingénierie dirigée par les modèles  modélisation multi-paradigme  métamodélisation  transformation de graphes  grammaires de graphes  méthodes formelles, réseaux de petri, AToM3. Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/KER6035.pdf Format de la ressource électronique : pdf Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5961

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire