Dec 16, 2018  
Undergraduate/Graduate Catalog 2014-2015 
Undergraduate/Graduate Catalog 2014-2015 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

COMP 596 - Topics in Computer Science

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
In this course, topics are chosen from program verification, formal semantics, formal language theory, concurrent programming, complexity or algorithms, programming language theory, graphics and other computer science topics. This course may be repeated for credit with different topics.