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
Généralités
Annonces
Rechercher
Recherche (forums)
Annonces
Nouvelles diverses et annonces
(Aucune annonce n'a encore été publiée)
Aller à…
Aller à…
Introduction aux systèmes mobiles
Langages de programmations pour mobilité
Slides Algèbre CCS
Série de TD 1
Série de TD2
Série de TD3
Introduction aux systèmes mobiles ►
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
