1 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) Catégories : Français - Anglais Informatique 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 : 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) Catégories : Français - Anglais Informatique 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 : index.php?lvl=notice_display&id=5961

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
KER/6035	KER/6035	Thèse	Bibliothèque principale	Thèses	Disponible