Toggle navigation
WebCMS3
Search Courses
Login
COMP3153
23T2
Home
Course Outline
Timetable
Forums
Online consultation (Zoom)
Glossary of terms
Activities
Course Work
Lectures
Lecture recordings
Tutorials
Formatif
Coding examples
Exam resources
Toggle Menu
Resources
Lectures
Week 1
Week 1
Lecture 1: Course introduction
Back to top
COMP3153/COMP9153 23T2 (Algorithmic Verification)
is powered by
WebCMS3
CRICOS Provider No. 00098G