Définition d'un langage de spécification formelle basé sur les ECATNets

dc.contributor.author	Zeghib Nadia
dc.contributor.author	Bettaz M.
dc.date.accessioned	2022-05-24T10:43:48Z
dc.date.available	2022-05-24T10:43:48Z
dc.date.issued	2017-01-01
dc.identifier.uri	http://depot.umc.edu.dz/handle/123456789/6799
dc.description	221 p.
dc.format	30 cm
dc.subject	Informatique
dc.title	Définition d'un langage de spécification formelle basé sur les ECATNets
dc.coverage	01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C