| Titre : | Validation d'un protocole de communication |
| Auteurs : | Sedrati, Maâmar, Auteur ; Bettaz, Mohamed, Directeur de thèse |
| Type de document : | texte imprimé |
| Editeur : | [S.l.] : [s.n.], 1985 |
| Format : | 34 f. / ill. / 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] f |
| Langues : | Français |
| Index. décimale : | PF00185 |
| Tags : | Validation Protocole Communication Hiérarchie |
| 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 (1)
| Cote | Support | Localisation | Section | Disponibilité | Spécialité | Etat_Exemplaire |
|---|---|---|---|---|---|---|
| PF00185 | Papier | Bibliothèque centrale | Projet Fin d'Etudes | Disponible | Consultation sur place |
Documents numériques (1)
|
SEDRATI.Maamar.pdf URL
|
