Diese Online-Vorlesung aus dem Bereich der Theoretischen Informatik beschäftigt sich mit der formalen Spezifikation und Verifikation. Enthalten sind folgende Themen: propositionale Logik, Temporallogik, Programmanalyse und Typsysteme sowie erststufige Logik und Programmlogik.
| Dozent: | Professor Martin Hofmann |
| Bereitgestellt von: | Universität München |
| Kurssprache: | Deutsch |
| Kosten: | kostenlos |
| Level: | Vorkenntnisse |
| Zertifikat erhältlich? | |
| Format: | Vorlesungsvideo |
Wie gefällt Dir der Kurs 'Formale Spezifikation und Verifikation'?
