Structured Programming and Formal Methods

In this course, students will learn strategic reasoning about programs through the specification, design, and realization of provably correct programs. Students will also develop an understanding of program and data structures, binding, procedures, and recursion.

Watch the Structured Programming and Formal Methods course overview.

Learn More

Now is the time to earn your master’s online.