Catalogue en ligne Bibliothèque universitaire MI

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

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

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