Visit for course dates & times.
Vue d'ensemble
Informatique (Sci) : Characteristics and utility of concurrent programs; formal methods for specification, verification and development of concurrent programs; communications, synchronization, resource allocation and management, coherency and integrity.
Terms: This course is not scheduled for the 2022-2023 academic year.
Instructors: There are no professors associated with this course for the 2022-2023 academic year.