Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=au:Laassiri, Jalal'

Votre recherche a retourné 2 résultats.

		Pas d'image disponible Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP) par Laassiri, Jalal Publication : Rabat Université Mohammed V - Agdal, Faculté des Sciences 2010 , Sous format papier Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Modeling and verification of some communication protocols using Event-B Method par Filali, Rajaa Publication : Rabat Université Mohammed V 2017 . 109 pages Date : 2017 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)

Vous ne trouvez pas ce que vous cherchez ?