Plan zajęć przedmiotu Weryfikacja formalna [1000-2M25WER] Semestr letni 2025/26

Po kliknięciu kafelka danej grupy zajęciowej wyświetli się okno ze szczegółowymi informacjami. Pod niektórymi z nich kryją się linki prowadzące m.in. do strony grupy zajęciowej, strony prowadzącego/koordynatora (czy informacji dotyczących budynku, w którym odbywają się zajęcia).

Użyte na planie oznaczenia:

zajęcia odbywają się w tygodnie nieparzyste

zajęcia odbywają się w tygodnie parzyste

zajęcia odbywają się w inny sposób, nie przez cały semestr