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.
Instructor: | Professor Martin Hofmann |
Provided by: | Universität München |
Course language: | German |
Fees: | free course |
Level: | intermediate |
Certificate available? | |
Format: | video lecture |
How do you like the course 'Formale Spezifikation und Verifikation'?