edX
MOOC / Non-credit
all levels
LAFF – On Programming for Correctness
The University of Texas at Austin
About this course
Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.
$99.00
Price shown by edX — confirm on their site.
Enroll on edXYou'll be redirected to edX to complete enrollment.
- Listed & compared by CourseAsk
- English · All Levels
More courses from edX
edX
فن التواصل في العصر الرقمي - The Art of Communication in Digital Age
LEORON Institute · MOOC / Non-credit
New
$229
edX
Emotional Resilience and the Ecological Self
The University of Wisconsin-Madison · Certificate
New
$75
edX
Environmental Impact Assessment
Adelaide University · MOOC / Non-credit
New
$165
edX
المصادر الإستراتيجية وتقنيات المشتريات المتقدمة Strategic Sourcing and Advanced Procurement Techniques
LEORON Institute · MOOC / Non-credit
New
$189