Développement des outils basés Maude pour les ECATNets.Domaine d'application / Noura Boudiaf  

Public ISBD 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

Exemplaires (1)

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

Vers une spécification formelle des objets d'administration de réseau à l'aide du langage Troll / Noura Boudiaf

Public ISBD Titre : Vers une spécification formelle des objets d'administration de réseau à l'aide du langage Troll Auteurs : Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse Année de publication : 2000 Importance : 106 f. Format : 30 cm Note générale : 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Réseau  Langage Troll  Objet Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=76 Vers une spécification formelle des objets d'administration de réseau à l'aide du langage Troll [] / Noura Boudiaf ; Univ. de Constantine, Éditeur scientifique ; M. Maouche, Directeur de thèse . - 2000 . - 106 f. ; 30 cm. 1 disponible dans la salle de recherche 2 disponibles au magasin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Réseau  Langage Troll  Objet Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=76

Exemplaires (1)

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

---

1 (1 - 2 / 2)