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




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 disponiblesLangues : 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 : 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 : Permalink : https://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=5961 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire