The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    Syracuse University
  Jan 18, 2018
2015-2016 Graduate Course Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

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 

[Add to Portfolio]