University Sétif 1 FERHAT ABBAS Faculty of Sciences
Utilisation des méthodes formelles pour la vérification des systèmes interactifs / MOUFFOK, Reguia
Utilisation des méthodes formelles pour la vérification des systèmes interactifs [texte imprimé] / MOUFFOK, Reguia ; KAMEL, N, Directeur de thèse . - [S.l.] : Setif:UFA, 2012 . - 1 vol (54f.) ; 29 cm. Langues : Français (fre)
|
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
MAI/0026 | MAI/0026 | Mémoire | Bibliothéque des sciences | Français | Disponible Disponible |