Rok akademicki 07/08
- Wybrane zagadnienia teorii procesów współbieżnych (wykład monograficzny z laboratorium)
- Protokoły komunikacyjne (seminarium magisterskie):
- Podstawy matematyki (ćwiczenia):
- Języki, automaty i obliczenia (ćwiczenia) :
- Semantyka i weryfikacja (ćwiczenia):
Konsultacje: środy, godz. 10:15 - 11:45, pokoj 5730.
- Dawniej...
sl
2008-10-02