Conception et développement d'un système automatisé de gestion et de sécurisation des matériels optiques dans les corps de défense et de securité ,base sur un modèle d'analyse formelle

Conception et développement d'un système automatisé de gestion et de sécurisation des matériels optiques dans les corps de défense et de securité ,base sur un modèle d'analyse formelle Niyonkuru,Réverien creator aut. text bd Bujumbura Université du Burundi,Faculté des Sciences de l'ingenieur 2025 monographic fre XII-86 cm 30 cm. specialized Réverien Niyonkuru, sous la dir.de Jeremie ndikumagenge Memoire présenté en vue de l'obtention du grade de master en genie informatique système automatise Gestion corps de défense et de securité analyse formelle 681.3 don BI-BuBU 260619 fre