Interessieren Dich Online-Kurse?

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

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

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

Weitere Kurse des Fachgebiets Informatik, EDV