COS 597D: Reasoning about concurrent systems
Course description currently unavailable.
Semester:
Fall16
Lectures:
Monday,Wednesday, 3:00-4:20
Location:
Friend Center 009
Faculty
Zachary Kincaid
Office:
Computer Science 219
Extension:
5330
Email:
zkincaid
Additional Information
The Graduate Coordinator is Nicki Mahler
Email:
ngotsis
Office:
Computer Science 213
Extension:
5387