Titre :	Développement des outils basés Maude pour les ECATNets.Domaine d'application : Analyse des programmes Ada
Auteurs :	Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; Allaoua Chaoui, Directeur de thèse
Année de publication :	2007
Importance :	112 f.
Note générale :	01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories :	Français - Anglais Informatique
Tags :	OutilsMaude  Programmes Ada  ECATNets
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BOU4801.pdf
Permalink :	index.php?lvl=notice_display&id=277

Développement des outils basés Maude pour les ECATNets.Domaine d'application : Analyse des programmes Ada [] / Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; Allaoua Chaoui, Directeur de thèse . - 2007 . - 112 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD

Catégories :	Français - Anglais Informatique
Tags :	OutilsMaude  Programmes Ada  ECATNets
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/BOU4801.pdf
Permalink :	index.php?lvl=notice_display&id=277