en | de

Programmverifikation

Bachelorstudium

VO3 + PS2  SS 2022  703083 + 703084

Einführung

Der Kurs behandelt unter anderem die folgenden Themen:

Sprache

Englisch

Voraussetzungen

Kenntnisse über funktionale Programmierung und Logik.