Afficher la notice abrégée

dc.contributor.author Benamira Adel
dc.contributor.author Saidouni Djamel-Eddine
dc.date.accessioned 2022-05-24T10:47:04Z
dc.date.available 2022-05-24T10:47:04Z
dc.date.issued 2017-01-01
dc.identifier.uri http://depot.umc.edu.dz/handle/123456789/7011
dc.description 100 f.
dc.subject Informatique
dc.title Vérification des équivalences de comportements des systèmes concurrents
dc.coverage 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD


Fichier(s) constituant ce document

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte