University Sétif 1 FERHAT ABBAS Faculty of Sciences
Model-checking de modèles hiérarchiques / Boukhers, Ibtissem
Model-checking de modèles hiérarchiques [texte imprimé] / Boukhers, Ibtissem, Auteur ; Bouamari,Abdelkader, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (61 f .) ; 29 cm. Langues : Français (fre)
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
MAI/0338 | MAI/0338 | Mémoire | Bibliothéque des sciences | Français | Disponible Disponible |