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

  • Unterricht

    Details

    Fakultät Math.-Nat. und Med. Fakultät
    Bereich Informatik
    Code UE-SIN.06031
    Sprachen fr/de/en
    Art der Unterrichtseinheit Übung
    Kursus Bachelor
    Semester SP-2020

    Titel

    Französisch Méthodes formelles (exercice supplémentaire)
    Deutsch Formale Methoden (zusätzliche Übung)
    Englisch Formal Methods (supplement exercice)

    Unterricht

    Verantwortliche
    Dozenten-innen
    Soft Skills
    Nein
    ausserhalb des Bereichs
    Nein
    BeNeFri
    Ja
    Mobilität
    Ja
    UniPop
    Nein
  • Leistungskontrolle

    Abgegebene Übungen

    Bewertungsmodus Nach bestanden/nicht bestanden
  • Zuordnung
    Zählt für die folgenden Studienpläne:
    Ergänzende Lehrveranstaltungen in Naturwissenschaften
    Version: ens_compl_sciences
    Paquet indépendant des branches > Fortgeschrittene UE in Informatik (Niveau Bachelor)