University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur BOUGAHGOUH, Hamza |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Model-cheking mode des systèmes hiérarchiques / BOUGAHGOUH, Hamza
Titre : Model-cheking mode des systèmes hiérarchiques Type de document : texte imprimé Auteurs : BOUGAHGOUH, Hamza ; BOUAMARI,A, Directeur de thèse Editeur : Setif:UFA Année de publication : 2012 Importance : 1 vol (53f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie logiciel
méthode formelle
model-cheking
systhemes hiérarchique
MaudeIndex. décimale : 004 Informatique Côte titre : MAI/0035 Model-cheking mode des systèmes hiérarchiques [texte imprimé] / BOUGAHGOUH, Hamza ; BOUAMARI,A, Directeur de thèse . - [S.l.] : Setif:UFA, 2012 . - 1 vol (53f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie logiciel
méthode formelle
model-cheking
systhemes hiérarchique
MaudeIndex. décimale : 004 Informatique Côte titre : MAI/0035 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0035 MAI/0035 Mémoire Bibliothéque des sciences Français Disponible
Disponible