..:: Martin Kot ::..
Modelování a verifikace - šk. rok 2011/12
Přednášky - slidy
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
 
Příklady na cvičení
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í
 
Ostatní
14.09.2011 Informace o průběhu zkoušky