Course Listings » Fall 2009 » SENG 523 - Formal Methods - Fall 2009

SENG 523 - Formal Methods - Fall 2009

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 1 MWF 15:00 - 15:50
Yingxu Wang
TUT 1 F 12:00 - 13:50
Yingxu Wang

This course will be offered next in Winter 2014.

Powered by UNITIS. More features.