|
SOEN331: Introduction To Formal Methods For Software Engineering
Winter 2022-2023
|
|
| SOEN331: Introduction To Formal Methods For Software Engineering |
|---|
| Computer Lab Details: |
|
|---|
| Computer Lab Calendar: |
|
|---|
| Department: | Computer Science and Software Engineering |
|---|
| Year: | 2022-2023 |
|---|
| Session: | Winter |
|---|
| Schedule : |
| For official ENCS schedule check http://www.concordia.ca/encs/students/course-schedules.html |
|
Lec
|
U |
|
1 |
-T-J--- |
16:15 - 17:30 |
H 435 |
|
|
|
Lec
|
S |
|
3 |
-T-J--- |
08:45 - 10:00 |
MB S2.330 |
|
|
|
Tut
|
|
SA |
3 |
----F-- |
14:15 - 16:05 |
MB 2.285 |
|
|
|
Tut
|
|
SB |
3 |
----F-- |
14:15 - 16:05 |
MB 1.301 |
|
|
|
Tut
|
|
SC |
3 |
----F-- |
12:15 - 14:05 |
H 544 |
|
|
|
Tut
|
|
SD |
3 |
----F-- |
12:15 - 14:05 |
MB 3.255 |
|
|
|
Tut
|
|
U UA |
1 |
----F-- |
14:15 - 16:05 |
MB 3.255 |
|
|
|
Tut
|
|
U UB |
1 |
----F-- |
12:15 - 14:05 |
FB S129 |
|
|
|
Tut
|
|
U UC |
1 |
----F-- |
14:15 - 16:05 |
MB 3.265 |
|
|
|
Tut
|
|
U UD |
1 |
----F-- |
14:15 - 16:05 |
MB 3.285 |
|
|
Class Schedule from Registrar
|
|---|
| Operating System Used: | |
|---|
| Software Required: | |
|---|
| |
[ Display/Hide List of Software for Past Sessions ]
| Past Sessions Contain No Software Information |
|
| Courses Coordinator: | Tsantalis, N. |
|---|
No Course Notes web directory found
* Denotes that the room may have changed and
might no longer match the copy from the Registrar
|
|
|
