Area: | Department of Computing |
Credits: | 25.0 |
Contact Hours: | 5.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
|
Syllabus: | Formal methods in the development of software systems. |
| |
Field of Education: | 20100 Computer Science (Narrow Grouping) | HECS Band (if applicable): | 2 |
|
Extent to which this unit or thesis utilises online information: | Not Online | Result Type: | Grade/Mark |
|
AvailabilityAvailability Information has not been provided by the respective School or Area. Prospective students should contact the School or Area listed above for further information.
|
