University of Calgary
SENG 523 - Formal Methods - Winter 2009
Software specification, verification, and validation using a mathematically rigorous technique.
This course may not be repeated for credit.This course will be offered next in Fall 2009.
This course may not be repeated for credit.
Hours
- H(3-2T)
Prerequisite(s)
- One of Software Engineering 403[SENG403] or 411 or Computer Science 301[CPSC301] or 451
Sections
Sorry, no sections found.
Powered by UNITIS. More features.