2019-2020 Graduate Course Catalog (Archived) 
    
    Aug 13, 2020  
2019-2020 Graduate Course Catalog (Archived) [ARCHIVED CATALOG]

CIS 623 - Structured Programming and Formal Methods

College of Engineering and Computer Science
3 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