Semantyka i weryfikacja programów (d. 1000-215bSWP) [1000-2M24SWP]
Semestr zimowy 2025/26
Laboratorium,
grupa nr 2
Przejdź do planu
zaznaczono terminy wyświetlanej grupy
| Przedmiot: | Semantyka i weryfikacja programów (d. 1000-215bSWP) [1000-2M24SWP] | ||||||||||||||||||||||||||||
| Zajęcia: |
Semestr zimowy 2025/26 [2025Z]
(w trakcie)
Laboratorium [LAB], grupa nr 2 [pozostałe grupy] |
||||||||||||||||||||||||||||
|
Termin i miejsce:
|
|||||||||||||||||||||||||||||
|
Terminy najbliższych spotkań:
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem. |
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
|
||||||||||||||||||||||||||||
| Liczba osób w grupie: | 13 | ||||||||||||||||||||||||||||
| Limit miejsc: | 15 | ||||||||||||||||||||||||||||
| Prowadzący: | Michał Skrzypczak |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Warszawski.
Właścicielem praw autorskich jest Uniwersytet Warszawski.