Informacje / Announcements
Konsultacje w sesji / Office hours in the exam session
- June 26, 7.30 - 8.20, building C2, room 321, UPDATED
Egzaminy poprawkowe / Correction exams
- Model checking/Weryfikacja modelowa, September 3, 9.30 - 11.00, building B1, room H24
- Model checking/Weryfikacja modelowa, September 13, 9.30 - 11.00, building B1, room H24
