Home  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Formale Systeme II: Theorie

Vorlesung im Sommersemester 2020

Prof. Dr. Bernhard Beckert, Dr. Mattias Ulbrich


Zielgruppe: Master Informatik
Umfang: 3 SWS / 5 Leistungspunkte
Vertiefungsfächer: Theoretische Grundlagen
Ort: SR 236 (Geb. 50.34)
Zeit: Dienstag, 11:30 - 13:00 Uhr
Freitag, 11:30 - 13:00 Uhr
Erstmals: 21.04.2020
Veranstaltungs-Nr.: 24608
Wird noch ergänzt.