Méthodes formelles (exercice supplémentaire) / Formale Methoden (zusätzliche Übung) / Formal Methods (supplement exercice)

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Informatique
    Code UE-SIN.06031
    Langues fr/de/en
    Type d'enseignement Exercice
    Cursus Bachelor
    Semestre(s) SP-2020

    Titre

    Français Méthodes formelles (exercice supplémentaire)
    Allemand Formale Methoden (zusätzliche Übung)
    Anglais Formal Methods (supplement exercice)

    Enseignement

    Responsables
    Enseignants
    Softskills
    Non
    Hors domaine
    Non
    BeNeFri
    Oui
    Mobilité
    Oui
    UniPop
    Non
  • Modalités d'évaluation

    Exercices rendus

    Mode d'évaluation Par réussi/échec
  • Affiliation
    Valable pour les plans d'études suivants:
    Enseignement complémentaire en sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE avancées en Informatique (niveau bachelor)