dr Anna Zalewska Jednostka Zakład Programowania i Metod Formalnych Pokój 2022 Telefon 85 738 8309 Adres e-mail zalewska@uwb.edu.pl