Prerequisites:None
From time to time, the department presents lectures on special topics within Computer Science. This module will be used to present such special topics.
This module develops an appreciation of the fundamentals and design principles for information assurance and security.
This module introduces the concepts of generic programming in order to generate code at compile-time.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …