Interessieren Dich Online-Kurse?

Edukatico wird Dich ab und zu über Neuigkeiten informieren. (Du kannst das jederzeit wieder beenden.)

Informatik, EDV: Theoretische Informatik, Spezifikation / Verifikation

Formale Spezifikation und Verifikation

Anbieter: Universität München
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Inhalt

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.

Universität München

Dozent: Professor Martin Hofmann
Bereitgestellt von: Universität München
Kurssprache: Deutsch
Kosten: kostenlos
Level: Vorkenntnisse
Zertifikat erhältlich?
Format: Vorlesungsvideo
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Wie gefällt Dir der Kurs 'Formale Spezifikation und Verifikation'?

Weitere Kurse des Fachgebiets Informatik, EDV