Graduate Catalog / Courses / CSCI - Computer Science / 6000 / CSCI 6336
Formal and applied methods of program and language description, including denotational, operational and axiomatic semantics.
Lecture
Standard Letter (A-F)
Computer Sciences