Catalogue en ligne Bibliothèque universitaire MI

Biblio Math&Info

Nouvelle recherche

Détail de l'auteur

Auteur Sana SAADNA

Documents disponibles écrits par cet auteur

Affiner la recherche Interroger des sources externes

Démarche de vérification formelle des architectures logicielles / Sofiane AOUAG

Public

ISBD

Titre : Démarche de vérification formelle des architectures logicielles
Type de document : texte imprimé
Auteurs : Sofiane AOUAG, Directeur de thèse ; Sana SAADNA, Présentateur ; Nadjet OUILI, Présentateur
ISBN/ISSN/EAN : M/RSD/22/022
Catégories : Mémoires
Mémoires:Informatique
Mémoires:Informatique:Master
Mémoires:Informatique:Master:(RSD) Réseaux et Systèmes Distribués
Mémoires:Informatique:Master:(RSD) Réseaux et Systèmes Distribués :2022

Démarche de vérification formelle des architectures logicielles [texte imprimé] / Sofiane AOUAG, Directeur de thèse ; Sana SAADNA, Présentateur ; Nadjet OUILI, Présentateur . - [s.d.].
ISSN : M/RSD/22/022
Catégories : Mémoires
Mémoires:Informatique
Mémoires:Informatique:Master
Mémoires:Informatique:Master:(RSD) Réseaux et Systèmes Distribués
Mémoires:Informatique:Master:(RSD) Réseaux et Systèmes Distribués :2022

Exemplaires (2)

Code-barres Cote Support Localisation Section Disponibilité
M/RSD/22/022/1 M/RSD/22/022 Mémoire de fin d'études Maths&Informatique Mémoires Disponible
M/RSD/22/022/2 M/RSD/22/022 Mémoire de fin d'études Maths&Informatique Mémoires Disponible

Biblio Math&Info

Détail de l'auteur

Auteur Sana SAADNA

Documents disponibles écrits par cet auteur

Exemplaires (2)

Bibliothèque universitaire MI

Accueil

Sélection de la langue

Se connecter

Adresse

Code-barres	Cote	Support	Localisation	Section	Disponibilité
M/RSD/22/022/1	M/RSD/22/022	Mémoire de fin d'études	Maths&Informatique	Mémoires	Disponible
M/RSD/22/022/2	M/RSD/22/022	Mémoire de fin d'études	Maths&Informatique	Mémoires	Disponible