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.A03 Funktionale Programmierung

Master-Lehrveranstaltungen

• LVA 185.A04 Optimierende Übersetzer
• LVA 185.A05 Fortgeschrittene funktionale Programmierung
• LVA 185.276 Analyse und Verifikation

Vortragender

Jens Knoop.