direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

There is no English translation for this web page.

Wissenschaftliche Mitarbeiterin

Nadine Karsten

Raum: TEL 705
Telefon: +49 30 314-27336
E-Mail: n.karsten <AT> tu-berlin.de
Sprechstunde: Donnerstag, 20:00 - 21:00 Uhr, online über Zoom. Link auf Anfrage.

Mögliche Themenbereich für Abschlussarbeiten: didaktische Konzepte in der Theoretischen Informatik, Isabelle, Prozesskalüle, Formalisierungen von Programmiersprachen

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions