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