CSE2303

Formal methods I (6 points)

(IT)

Leader:

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% + Laboratory work: 30%

Contact Hours: Two hours of lectures per week and one 1-hour tutorial and 3 hours of laboratory class per fortnight

Prerequisites: CSE1301 or CSC1011 and either 12 points of approved first-year mathemtics units (or equivalent), or 6 points of approved first-year mathematics units (or equivalent) as a prerequisite and 6 points of approved first-year mathematics units (or equivalent) as a corequisite.

Prohibitions: CSC2030