ILIAS Learning Platform
Formale Systeme
WS 20/21
KIT-Fakultät für Informatik
Organisationseinheiten
Repository
Help
Language
Deutsch
English
Login
0
0
Show More
Tools
Repository
More
Help
Repository - Home
Tree View
...
Close
Formale Systeme
WS 20/21
KIT-Fakultät für Informatik
Organisationseinheiten
Repository
Download Multiple Objects
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
Online
Zyklus
wöchtl.
General
Language
German
Licence and Use
Copyright
All rights reserved
Contact
Name
Alexander Weigl
Telephone
072160844324
E-Mail
weigl@kit.edu
ulbrich@kit.edu
beckert@kit.edu
Consultation
Professorale Sprechstunde: Donnerstags: 11:30 - 13:00, nach Voranmeldung.
Availability
Access
Unlimited
Admittance
You can join this course directly.
Registration Period
Unlimited
Personal Data Visible to Course Administrators
Data Types of the Personal Profile
Username
First Name
Last Name
E-Mail
Matriculation number
Additional Information
Object ID
1753037