mgr inż. Eugenia Mironowicz Unit Department of Programming and Formal Methods Room 3038 Phone 85 738 8341 E-mail address mgm@uwb.edu.pl