Toggle navigation
WebCMS3
Search Courses
Login
COMP3153
22T2
Home
Course Outline
Timetable
Forums
Glossary of terms
Links for online content
Online lecture (Zoom)
Online tutorials
Online consultation (Zoom)
Lecture recordings (echo360)
Activities
Course Work
Lectures
Lecture recordings
Tutorials
Assignments
Coding examples
Exam resources
Toggle Menu
Resources
Lectures
Lectures
Week 1
30/05/2022 - 05/06/2022
Lecture 1: Course introduction
Back to top
COMP3153/COMP9153 22T2 (Algorithmic Verification)
is powered by
WebCMS3
CRICOS Provider No. 00098G
