Skip to main content
  • You are currently using guest access (Log in)
elearn
  • Accueil
  • Cours
  • Logithèque
    Opale
  • English ‎(en)‎
    English ‎(en)‎ Français ‎(fr)‎ العربية ‎(ar)‎

    • Vérification de Systèmes Mobiles

    1. Home
    2. Courses
    3. Espace de cours année 2021/2022 [Semestre 1]
    4. Faculté des Sciences Exactes,des Sciences de la Nature et de la Vie
    5. Département d'Informatique
    6. Master 2
    7. Génie Logiciel et Systèmes Distribués
    8. Vérification de Systèmes Mobiles

    Topic outline

    • General

      • Annonces Forum

    • Intorudction Informelle aux systèmes mobiles

      • Introduction aux systèmes mobiles Folder
      • Langages de programmations pour mobilité File

        Cours

    • Les algèbres de processus

      • Slides Algèbre CCS File

        Présentation de l'algèbre de processus: CCS

      • Série de TD 1 File
      • Série de TD2 File
      • Série de TD3 File

    • CCS, pi-calcul, et HO-pi-calcul

      • Vérification de Systèmes Mobiles
      • General
      • Intorudction Informelle aux systèmes mobiles
      • Les algèbres de processus
      • CCS, pi-calcul, et HO-pi-calcul
      • Home
      • Calendar
      klass
      Contact us

      Adresse : Université de Biskra

      Phone : +21333543246

      E-mail : moodle.biskra@univ-biskra.dz

      Get Social

      UNIVERSITE MOHAMED KHIDER BISKRA

      Data retention summary
      Get the mobile app