en | de

Program Verification

bachelor program

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.