2014-2015 Graduate Course Catalog 
    
    Feb 08, 2025  
HELP
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)

CIS 634 - Assurance Foundations

3 credit(s) Irregularly
Crosslisted with: CSE 634 
Foundational theory, concepts, and computer-assisted reasoning tools necessary for assurance. Topics include functional programming, theorem proving, and logic for reasoning about access control, security, and trust.


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Catalog Navigation
  Catalog Home
  General Information
  Academic Rules
  What’s New
  Academic Offerings
  Other Programs
  Courses
  School of Architecture
  College of Arts and Sciences
  School of Education
  College of Engineering and Computer Science
  David B. Falk College of Sport and Human Dynamics
  School of Information Studies
  College of Law
  Martin J. Whitman School of Management
  Maxwell School of Citizenship and Public Affairs
  S.I. Newhouse School of Public Communications
  College of Visual and Performing Arts
  University College
  SUNY-ESF (Partner Institution)
  Archived Catalogs