Use the Tab and Up, Down arrow keys to select menu items.
This course focuses on the concepts of programming language theories and their implementations. The course also covers program semantics and program verification, which are powerful tools for guaranteeing the quality of software, for example, proving the correctness of program transformations and that a program is free of certain types of errors.
COSC261 and SENG201
Students must attend one activity from each section.
For further information see Computer Science and Software Engineering Head of Department
Domestic fee $998.00
International fee $5,188.00
* All fees are inclusive of NZ GST or any equivalent overseas tax, and do not include any programme level discount or additional course-related expenses.
For further information see Computer Science and Software Engineering .