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'?