Informacje

Egzaminy

  • Weryfikacja modelowa (Model checking) I termin: 22 czerwca (czwartek) w godz. 12.00 - 14.30 w sali 224 w C2.
  • Weryfikacja modelowa (Model checking) II termin: 28 czerwca (środa) w godz. 13.00 - 15.30 w sali 224 w C2.
  • Weryfikacja modelowa (Model checking) III termin: 8 września (piątek) w godz. 10.00 - 11.00 w sali 224 w C2.

Konsultacje w semestrze letnim (również dla doktorantów)

  • poniedziałek, godz. 14.00 - 15.00, paw. C2, pok. 321


Ulotka (liflet)


io-mini.jpg m165mini.jpg