en | de

Program Verification

bachelor program

VO3 + PS2  SS 2021  703083 + 703084

Einführung

Der Kurs behandelt unter anderem die folgenden Themen:

Sprache

Deutsch

Voraussetzungen

Kenntnisse über funktionale Programmierung und Logik.