Prof. Dr. Bernhard Beckert
Daten:
Dozentenprofile: 2
Veranstaltungen: 5
Bewertungen: 7
Publikationen: 0
Alle Dozentenprofile von Prof. Dr. Bernhard Beckert (2)
Profil an der ... | Kurse | Bewertungen |
---|---|---|
Uni Koblenz-Landau Prof. Dr. Bernhard Beckert (M) Informatik |
4 | 7 |
KIT Prof. Dr. Bernhard Beckert (M) Informatik |
1 | 0 |
Alle Veranstaltungen von Prof. Dr. Bernhard Beckert (5)
Titel | Profil an der ... | Typ | Umfang | Bewertungen |
---|---|---|---|---|
Logik für Informatiker | Uni Koblenz-Landau | Vorlesung | 3 SWS | 1 |
Grundlagen der theoretischen Informatik I | Uni Koblenz-Landau | Vorlesung | 8 SWS | 4 |
Theoretische Informatik II | Uni Koblenz-Landau | Vorlesung | 2 SWS | 2 |
Formale Spezifikation und Verifikation | Uni Koblenz-Landau | Vorlesung + Übung/Tutorium | 4 SWS 6 CP |
0 |
Formale Systeme | KIT | Vorlesung + Übung/Tutorium | 4 SWS 6 CP |
0 |