Interested in online learning?

Edukatico will keep you updated from time to time. (You can stop this at any time.)

Provider: Universität München
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

Content

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

Instructor: Professor Martin Hofmann
Provided by: Universität München
Course language: German
Fees: free course
Level: intermediate
Certificate available?
Format: video lecture
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.
You need to accept cookies for external services to see this content.

How do you like the course 'Formale Spezifikation und Verifikation'?

Other online courses in Computer Science, IT