Afficher la notice abrégée
| dc.contributor.author |
Saidouni D.E. |
|
| dc.contributor.author |
Arfi Farid |
|
| dc.date.accessioned |
2022-05-24T10:46:47Z |
|
| dc.date.available |
2022-05-24T10:46:47Z |
|
| dc.date.issued |
2017-01-01 |
|
| dc.identifier.uri |
http://depot.umc.edu.dz/handle/123456789/6990 |
|
| dc.description |
122 f. |
|
| dc.subject |
Informatique |
|
| dc.title |
De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité |
|
| 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