konsultacje

wtorki, godz. 12:15 - 13:45, pokój 5730

zajęcia

Praktyczne metody weryfikacji (wykład monograficzny)

Niezawodność systemów współbieżnych i obiektowych (nowe seminarium magisterskie)

Protokoły komunikacyjne (seminarium magisterskie)

Języki, automaty i obliczenia (ćwiczenia, 3 rok, semestr zimowy)

Języki, automaty i obliczenia (ćwiczenia, 2 rok, semestr letni)

strona wykładu

propozycje tematów prac magisterskich 2009, 2008

zajęcia dawniej

07/08 06/07 05/06 04/05 03/04 02/03 00/01 99/00 jeszcze dawniej

designed by Nicolas Fafchamps adapted by SL