|
|
|
Jan 17, 2025
|
|
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 623 - Structured Programming and Formal Methods3 credit(s) At least 1x fall or spring
Reasoning about programs: specification, design, and realization of provably correct programs. Program and data structures, binding, procedures, recursion.
PREREQ: CIS 607 /CSE 607
|
|
|