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