..:: Martin Kot ::..
Modelling and verification
General Actual Download
 

English version of this subpage is under construction

Lectures - slides
14.09.2011 1. přednáška
14.09.2011 2. přednáška
14.09.2011 3. přednáška
14.09.2011 4. přednáška
14.09.2011 5. přednáška
14.09.2011 6. přednáška
14.09.2011 7. přednáška
14.09.2011 8. přednáška
 
Exercises
14.09.2011 Příklady na 1. cvičení
14.09.2011 Příklady na 2. cvičení
14.09.2011 Příklady na 3. cvičení
14.09.2011 Příklady na 4. cvičení
14.09.2011 Příklady na 5. cvičení
14.09.2011 Příklady na 6. cvičení
14.09.2011 Příklady na 7. cvičení
14.09.2011 Příklady na 8. cvičení
 
Other
14.09.2011 Informace o průběhu zkoušky