Interessieren Dich Online-Kurse?

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

Edx
Anbieter: edX
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Inhalt

This MOOC teaches formal methods to systematically develop correct, loop-based programs. The course presents a methodology that illustrates goal-oriented programming, starting with the formalization of what is to be computed, and then growing the program hand-in-hand with its proof of correctness. 

University of Texas at Austin

Dozent: Maggie Myers
Bereitgestellt von: edX
Kurssprache: Englisch
Kosten: kostenlos
Level: Vorkenntnisse
Zertifikat erhältlich? (Gebühr)
Format: MOOC/Online-Kurs
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.
Um diesen Inhalt sehen zu können, müssen Sie die Cookies für externe Dienste akzeptieren.

Wie gefällt Dir der Kurs 'LAFF – On Programming for Correctness'?

Weitere Kurse des Fachgebiets Informatik, EDV