| 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 |
| الملفات | الحجم | التنسيق | عرض |
|---|