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. | 
 
 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.
 |