..:: Martin Kot ::..
Modelling and verification
General Actual Download
 
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