Obhajoba disertační práce RNDr. Pavla Šimečka
V úterý 26. ledna 2010 od 10,00 hod proběhne v zasedací místnosti FI MU obhajoba disertační práce "External Memory LTL Model Checking" pana RNDr. Pavla Šimečka.
Obhajoba je veřejná.
V úterý 26. ledna 2010 od 10,00 hod proběhne v zasedací místnosti FI MU obhajoba disertační práce "External Memory LTL Model Checking" pana RNDr. Pavla Šimečka.
Obhajoba je veřejná.
Odpovědný kontakt:
webmasterA0GCJBSt@fiI0GCJBSt.muniI0GCJBSt.cz
Pro správnou funkci tohoto webu si prosím nainstalujte některý z novějších prohlížečů.