University of Calgary
Course Listings » Winter 2015 » SENG 523 - Formal Methods - Winter 2015

SENG 523 - Formal Methods - Winter 2015

Software specification, verification, and validation using a mathematically rigorous technique.
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

  • LEC 1TR 15:30 - 16:45
    TUT 1F 09:00 - 10:50
This course will be offered next in Winter 2017.
top
Powered by UNITIS. More features.