Détail de l'auteur
Auteur Abdelhafid Zitouni |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
Titre : Etude et comparaisan de deux techniques de description formelle : estelle et lotos application aux protocoles de communication Auteurs : Abdelhafid Zitouni ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse Année de publication : 1993 Importance : 157 f. Note générale : 01 Disponible au magasin de la bibliothèque centrale Catégories : Français - Anglais
InformatiqueTags : Protocole de communication Description formelle Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=120 Etude et comparaisan de deux techniques de description formelle : estelle et lotos application aux protocoles de communication [] / Abdelhafid Zitouni ; Univ. de Constantine, Éditeur scientifique ; Mohamed Bettaz, Directeur de thèse . - 1993 . - 157 f.
01 Disponible au magasin de la bibliothèque centrale
Catégories : Français - Anglais
InformatiqueTags : Protocole de communication Description formelle Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=120 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ZIT/2530 ZIT/2530 Thèse Bibliothèque principale Thèses Disponible Utilisation des design Patterns et des méthodes formelles dans le développement des systèmes d'information / Abdelhafid Zitouni
Titre : Utilisation des design Patterns et des méthodes formelles dans le développement des systèmes d'information Auteurs : Abdelhafid Zitouni ; Univ. de Constantine, Éditeur scientifique ; M. Boufaida, Directeur de thèse Année de publication : 2008 Importance : 154 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
InformatiqueTags : systèmes d'information Design Pattern Méthodes formelles LOTOS Langages de description Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ZIT5265.pdf Permalink : index.php?lvl=notice_display&id=246 Utilisation des design Patterns et des méthodes formelles dans le développement des systèmes d'information [] / Abdelhafid Zitouni ; Univ. de Constantine, Éditeur scientifique ; M. Boufaida, Directeur de thèse . - 2008 . - 154 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : systèmes d'information Design Pattern Méthodes formelles LOTOS Langages de description Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/ZIT5265.pdf Permalink : index.php?lvl=notice_display&id=246 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ZIT/5265 ZIT/5265 Thèse Bibliothèque principale Thèses Disponible
