LAFF

Sort options

LAFF – On Programming for Correctness (edX)

Self Paced
LAFF – On Programming for Correctness (edX)
Course Auditing
EdX
University of Texas at Austin
UTAustinX
Categories
CS: Software Engineering
Sci: Mathematics
Effort
Intermediate
Self-Paced
5-10 Hours/Week
Languages
English
English
LAFF – On Programming for Correctness (edX)
Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers. Is my program correct? Will it give the right output for all possible permitted inputs? Computers are now essential in everyday life. Incorrect programs lead to frustration in the [...]
LAFF
Goal-Oriented Programming
Correctness
Programming
View more details
Self Paced
Course Auditing
EdX
University of Texas at Austin
UTAustinX
CS: Software Engineering
Sci: Mathematics
Intermediate
Self-Paced
5-10 Hours/Week
92.00 EUR
English
English