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:
webmasterA2z4UlCu@fiI2z4UlCu.muniI2z4UlCu.cz
Pro správnou funkci tohoto webu si prosím nainstalujte některý z novějších prohlížečů.