 |
adiunkt w jednostce Instytut Informatyki
|
dr
Marcin Kubica
Zaloguj się, aby zobaczyć więcej.
Podstawowe informacje o użytkowniku
Terminy konsultacji dla studentów
brak zajęć w sem. letnim 23/24
Zainteresowania
Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania
Koordynowane przedmioty
2023Z - Wstęp do programowania 1000-211bWPI
2024Z - Wstęp do programowania 1000-211bWPI
Prowadzone przedmioty
Imiona
Marcin Tomasz
Nazwisko
Kubica
Stopnie i tytuły
dr
PBN ID
1740793
