edX
MOOC / Non-credit
0
LAFF – On Programming for Correctness
About this course
Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers.
B
74/100
CourseAsk score
- What the provider tells you
- 23/45
- Who stands behind it
- 35/35
- How complete the listing is
- 16/20
Scores how much the provider publishes and who stands behind it — not how well it is taught.
What you'll learn
- Understand formal methods for program correctness
- Develop loop-based programs
- Systematically create reliable software
Course objectives
- Apply formal methods in programming
- Enhance coding reliability and correctness
Software Engineering
#program design
#program correctness
#coding principles
#software reliability
#formal methods
#loop-based programming
#systematic development
$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 · 0
Udemy
edX
