De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité / Farid Arfi
De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité [] / Farid Arfi ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 122 f. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
|
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| ARF/4855 | ARF/4855 | Thèse | Bibliothèque principale | Thèses | Disponible |
