Program semantics and verification 1000-215bSWP
Lecture (WYK)
Winter semester 2023/24
Information on classes (common for all the groups)
Class groups
Group | Timeframe(s) | Lecturers |
Places |
Actions |
---|---|---|---|---|
1 |
every Monday, 14:15 - 16:00,
room 3180 |
Andrzej Tarlecki | 125/113 |
|
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota |
Course descriptions are protected by copyright.
Copyright by University of Warsaw.
Copyright by University of Warsaw.