Nov 21, 2024  
2012-2013 Graduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  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 Letters
  College of Business
  College of Education and Psychology
  College of Health
  College of Nursing
  College of Science and Technology
  University of Southern Mississippi Gulf Coast
  Course Descriptions
  Administration and Faculty
HELP
2012-2013 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)