Lehrestammseiten

LVA-Stammseiten

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Auf dieser Seite finden Sie Verweise auf die Stammseiten regelmäßig angebotener Lehrveranstaltungen mit Vorlesungscharakter.

Bachelor-Lehrveranstaltungen

• LVA 185.161 Funktionale Programmierung

Master-Lehrveranstaltungen

• LVA 185.187 Optimierende Übersetzer
• LVA 185.210 Fortgeschrittene funktionale Programmierung
• LVA 185.276 Analyse und Verifikation

Vortragender

Jens Knoop.