Etude et comparaisan de deux techniques de description formelle / Abdelhafid Zitouni
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
|
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| ZIT/2530 | ZIT/2530 | Thèse | Bibliothèque principale | Thèses | Disponible |
