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

Teacher: Professor Martin Hofmann
Provided by: Universität München
Course language: German
Fees: free course
Level: intermediate
Certificate possible?
Format: video lecture
Go to online course
Transparency note: Some course providers support the operation of our search portal with referral commissions.

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

Other online courses in Computer Science, IT