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