Passer au contenu principal
Panneau latéral
Vous êtes connecté anonymement (
Connexion
)
Accueil
Cours
Logithèque
Opale
Français (fr)
English (en)
Français (fr)
العربية (ar)
Vérification de Systèmes Mobiles
Accueil
Cours
Espace de cours année 2021/2022 [Semestre 1]
Faculté des Sciences Exactes,des Sciences de la Nature et de la Vie
Département d'Informatique
Master 2
Génie Logiciel et Systèmes Distribués
Vérification de Systèmes Mobiles
Intorudction Informelle aux systèmes mobiles
Introduction aux systèmes mobiles
Introduction aux systèmes mobiles
Introduction informelle et générale aux systèmes mobiles.
VSM _intro.pdf
Télécharger le dossier
◄ Annonces
Aller à…
Aller à…
Annonces
Langages de programmations pour mobilité
Slides Algèbre CCS
Série de TD 1
Série de TD2
Série de TD3
Langages de programmations pour mobilité ►
Vérification de Systèmes Mobiles
Généralités
Intorudction Informelle aux systèmes mobiles
Les algèbres de processus
CCS, pi-calcul, et HO-pi-calcul
Accueil
Calendrier
Résumé de conservation de données
Obtenir l'app mobile