University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Architectures logicielle
Méthodes formelles' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
Contribution à la conception d'architecture logicielle sure des systèmes critiques basés agent / Boucherit,Ammar
![]()
Titre : Contribution à la conception d'architecture logicielle sure des systèmes critiques basés agent Type de document : texte imprimé Auteurs : Boucherit,Ammar, Auteur ; Khababa,Abdellah, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (109 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Architectures logicielle
Méthodes formellesIndex. décimale : 004 - Informatique Côte titre : DI/0040 En ligne : https://drive.google.com/file/d/1Zp2EZCWSpTLekKRbd3TEB6htULsSMK_o/view?usp=shari [...] Format de la ressource électronique : Contribution à la conception d'architecture logicielle sure des systèmes critiques basés agent [texte imprimé] / Boucherit,Ammar, Auteur ; Khababa,Abdellah, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (109 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Architectures logicielle
Méthodes formellesIndex. décimale : 004 - Informatique Côte titre : DI/0040 En ligne : https://drive.google.com/file/d/1Zp2EZCWSpTLekKRbd3TEB6htULsSMK_o/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DI/0040 DI/0040 Thèse Bibliothéque des sciences Français Disponible
Disponible