Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Bettaz, Mohamed
Documents disponibles écrits par cet auteur
Affiner la recherche
Titre : Validation d'un protocole de communication Type de document : texte imprimé Auteurs : Sedrati, Maâmar, Auteur ; Bettaz, Mohamed, Directeur de thèse Editeur : [S.l.] : [s.n.] Année de publication : 1985 Importance : 34 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Projet de Fin d’Études : Informatique : Constantine, Université de Constantine: 1985
Ancienne côte: PI00185
Annexe [23] f. Bibliogr. [1] fLangues : Français (fre) Mots-clés : Validation
Protocole
Communication
HiérarchieIndex. décimale : PF00185 Résumé : La description d'un protocole se fait d'une façon informelle puis formelle qui fera l'objet d'un langage de spécification, le faire fonctionner c'est à dire l'implémenter ou d'une façon précise définir un langage d'implémentation et finalement vérifier si une telle implémentation répond bien aux objectifs souhaités par la spécification et que le protocole opère à la satisfaction de ses utilisateurs. Validation d'un protocole de communication [texte imprimé] / Sedrati, Maâmar, Auteur ; Bettaz, Mohamed, Directeur de thèse . - [S.l.] : [s.n.], 1985 . - 34 f. : ill. ; 27 cm.
Mémoire de Projet de Fin d’Études : Informatique : Constantine, Université de Constantine: 1985
Ancienne côte: PI00185
Annexe [23] f. Bibliogr. [1] f
Langues : Français (fre)
Mots-clés : Validation
Protocole
Communication
HiérarchieIndex. décimale : PF00185 Résumé : La description d'un protocole se fait d'une façon informelle puis formelle qui fera l'objet d'un langage de spécification, le faire fonctionner c'est à dire l'implémenter ou d'une façon précise définir un langage d'implémentation et finalement vérifier si une telle implémentation répond bien aux objectifs souhaités par la spécification et que le protocole opère à la satisfaction de ses utilisateurs. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire P000300 PF00185 Papier Bibliothèque centrale Projet Fin d'Etudes Disponible Consultation sur place Documents numériques
SEDRATI.Maamar.pdfURL