Veuillez utiliser cette adresse pour citer ce document : http://hdl.handle.net/123456789/6657
Titre: Etude et comparaisan de deux techniques de description formelle
estelle et lotos application aux protocoles de communication
Auteur(s): Bettaz Mohamed
Mots-clés: Informatique
Description: 157 f.
URI/URL: http://hdl.handle.net/123456789/6657
Autre(s) identifiant(s): http://bu.umc.edu.dz/md/index.php?lvl=notice_display&id=120
120
20110103u u u0frey50 ba
Collection(s) :Thèses de Doctorat

Fichier(s) constituant ce document :
Il n'y a pas de fichiers associés à ce document.


Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.