Deutschland » Rheinland-Pfalz » Uni Koblenz-Landau » Informatik » Prof. Dr. Beckert » Kurse
Prof. Dr. Bernhard Beckert
Prof. Dr.
Bernhard
Beckert
Informatik
Uni Koblenz-Landau
Lehrveranstaltungen von Prof. Dr. Bernhard Beckert
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Formale Spezifikation und Verifikation Vorlesung + Übung/Tutorium |
4 SWS 6 CP |
- | 0 |
| Grundlagen der theoretischen Informatik I Vorlesung |
8 SWS | - | 4 |
| Logik für Informatiker Vorlesung |
3 SWS | - | 1 |
| Theoretische Informatik II Vorlesung |
2 SWS | - | 2 |
