en | de

Programmverifikation

Bachelorstudium

VO3 + PS2  SS 2020  703083 + 703084

Einführung

Der Kurs behandelt unter anderem die folgenden Themen:

Sprache

Deutsch

Voraussetzungen

Kenntnisse über funktionale Programmierung und Logik.