24086 – Formale Systeme

Allgemeine Informationen

Wichtige Informationen

Stammmodul Formale Systeme

Veranstaltungsdaten

Dozent(en)

Prof. Bernhard Beckert, Dr. Mattias Ulbrich, Alexander Weigl

Studiengang

Informatik B.Sc/M.Sc

SWS

4

Credits

6

Veranstaltungsart

Vorlesung/Übung

Ort

Karlsruhe

Termin

Do, 14:00 Uhr und Fr, 12:00 Uhr

Zyklus

wöchtl.

Allgemein

Sprache

Deutsch

Copyright

This work has all rights reserved by the owner.

Kontakt

Name

Alexander Weigl

Telefon

072160844324

E-Mail

weigl@kit.edu
ulbrich@kit.edu
beckert@kit.edu

Verfügbarkeit

Zugriff

Unbegrenzt – wenn online geschaltet

Aufnahmeverfahren

Sie können diesem Kurs direkt beitreten.

Zeitraum für Beitritte

Unbegrenzt

Für Kursadministratoren freigegebene Daten

Daten des Persönlichen Profils

Anmeldename
Vorname
Nachname
E-Mail
Matrikelnummer

Zusätzliche Informationen

Objekt-ID

2174653