Etude et comparaisan de deux techniques de description formelle

dc.contributor.author	Bettaz Mohamed
dc.contributor.author	Zitouni Abdelhafid
dc.date.accessioned	2022-05-24T10:46:17Z
dc.date.available	2022-05-24T10:46:17Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/6906
dc.description	157 f.
dc.subject	Informatique
dc.title	Etude et comparaisan de deux techniques de description formelle
dc.title	estelle et lotos application aux protocoles de communication
dc.coverage	01 Disponible au magasin de la bibliothèque centrale