CSE3305

Formal methods II (6 points)

(IT)

Leader: TBA

Offered:
Clayton First semester 2004 (Day)
Malaysia First semester 2004 (Day)
Clayton First semester 2005 (Day)
Malaysia First semester 2005 (Day)

Synopsis:

Assessment: Examination (3 hours): 70% + Assignments: 30%

Contact Hours: Two 1-hour lectures per week and one 1-hour tutorial per fortnight

Prerequisites: CSC2030 or CSE2303 and CSC2040 or CSE2304