Dec 21, 2024  
2019-2020 Graduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  Academic Calendar
  Introduction
  The Graduate School
  Admission Requirements and Procedures
  General Degree Requirements
  General Academic Information
  Research Policies
  Student Expenses and Financial Aid
  University Facilities and Student Services
  College of Arts and Sciences
  College of Arts and Sciences Schools and Programs
  College of Business and Economic Development
  College of Business and Economic Development Schools and Programs
  College of Education and Human Sciences
  College of Education and Human Sciences Schools and Programs
  College of Nursing and Health Professions
  College of Nursing and Health Professions Schools and Programs
  University of Southern Mississippi Gulf Coast
  Course Descriptions
HELP
2019-2020 Graduate Bulletin [ARCHIVED CATALOG]

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

CSC 620 - Formal Methods in Programming Languages

3 hrs.
Prerequisite(s): CSC 616 . Data and control abstractions. Backtracking and nondeterminism. Functional and logic programming. Program specification and verification.


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