en | de

Program Verification

bachelor program

VO3 + PS2  SS 2024  703083 + 703084

Introduction

The lecture covers the following topics:

Language

German

Prerequisites

Knowledge about functional programming and logic.