Enter code(s) of course(s):                  
Enrolment in the term FI:Spring 2012 (information valid as of 29/6/2012 00:59)
CodeTotalLimitLFFaFFFPrFFSSPřFFIPdFFSpSESFCSTName of Course
DFOME9       9    Formal Methods in Theory and Practice