Afficher la notice abrégée
| dc.contributor.author |
Benayoune Salim |
|
| dc.contributor.author |
Benmouhammed D.E. Saidouni |
|
| dc.date.accessioned |
2022-05-24T10:46:52Z |
|
| dc.date.available |
2022-05-24T10:46:52Z |
|
| dc.date.issued |
2017-01-01 |
|
| dc.identifier.uri |
http://depot.umc.edu.dz/handle/123456789/6997 |
|
| dc.description |
108 f. |
|
| dc.subject |
Informatique |
|
| dc.title |
Algorithme pour la vérification par des relations de bisimulation basées sur la sémantique de maximalité |
|
| dc.coverage |
1 disponible dans la salle de recherche
2 disponibles au magasin de la bibliothèque centrale |
|
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
Afficher la notice abrégée