5500 (v.5) Program Design 551
Area: | Department of Computing |
Contact Hours: | 5.0 |
Credits: | 25.0 |
Lecture: | 1 x 2 Hours Weekly |
Other: | 1 x 3 Hours Weekly |
Prerequisite(s): | 5405 (v.7) Software Engineering 502 or any previous version
AND
10079 (v.3) Software Engineering 501 or any previous version
|
Formal methods in the development of software systems. |
Current as of: August 29, 2003 15:52:10
CRICOS provider code 00301J