|
Offering information, including the availability of offerings and timetabling information, is subject to change.
|
Go to: |
New search by Teaching Period |
At times it may become necessary to cancel advertised offerings.
|
Data is correct as at Mon, 19-09-2011 01:36:13 EST |
|
|
|
COMP4161 Advanced Topics in Software Verification |
This course is scheduled for offering in the following teaching periods for 2011. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
SEMESTER TWO |
|
|
Dr G Klein |
31-AUG-2011 |
|
|
|
|
|
|
SUMMARY OF SEMESTER TWO CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Lecture |
T2 |
5929 |
1UGA |
Open |
13/30* |
Tue 09:00 - 10:30 (Weeks:1-7,8-12), Thu 09:00 - 10:30 (Weeks:1-7,8-12) |
|
(* = jointly taught class) |
|
|
|
SEMESTER TWO CLASSES - Detail |
|
|
|
Class Nbr |
5929 |
Section |
1UGA |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
13/30* |
|
Offering Period |
18/07/2011 - 23/10/2011 |
Meeting Dates |
Standard dates |
Census Date |
31/08/2011 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
09:00 - 10:30 |
Webster 256 (K-G14-256) |
1-7,8-12 |
Dr G Klein |
Thu |
09:00 - 10:30 |
Australian School Business 115 (K-E12-115) |
1-7,8-12 |
Dr G Klein |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |
|
COMP4161 Advanced Topics in Software Verification |
This course is scheduled for offering in the following teaching periods for 2011. |
|
Teaching Period |
Staff Contact |
Census Date |
Notes |
|
|
|
SEMESTER TWO |
|
|
Dr G Klein |
31-AUG-2011 |
|
|
|
|
|
|
SUMMARY OF SEMESTER TWO CLASSES
|
Activity |
Period |
Class |
Section |
Status |
Enrols/Capacity |
Day/Start Time |
|
Lecture |
T2 |
5930 |
1PGA |
Open |
7/30* |
Tue 09:00 - 10:30 (Weeks:1-7,8-12), Thu 09:00 - 10:30 (Weeks:1-7,8-12) |
|
(* = jointly taught class) |
|
|
|
SEMESTER TWO CLASSES - Detail |
|
|
|
Class Nbr |
5930 |
Section |
1PGA |
Teaching Period |
T2 - Teaching Period Two |
|
Activity |
Lecture |
Status |
Open |
Enrols/Capacity |
7/30* |
|
Offering Period |
18/07/2011 - 23/10/2011 |
Meeting Dates |
Standard dates |
Census Date |
31/08/2011 |
|
Instruction Mode |
In Person |
Consent |
Consent not required |
(* = jointly taught class) |
|
Meeting Information |
|
Day |
Time |
Location |
Weeks |
Instructor |
|
Tue |
09:00 - 10:30 |
Webster 256 (K-G14-256) |
1-7,8-12 |
Dr G Klein |
Thu |
09:00 - 10:30 |
Australian School Business 115 (K-E12-115) |
1-7,8-12 |
Dr G Klein |
|
|
Class Notes |
|
|
Back to top |
|
|
Back to top |
|