1
Autor Chalupa, Marek
Vydáno 2022
Témata: ';
“...formální verifikace...”Vydáno 2022
Získat plný text
VŠ práce nebo rukopis
2
Autor Moravec, Pavel, 1979-
Vydáno 2008
Témata: ';
“...formální verifikace...”Vydáno 2008
Získat plný text
VŠ práce nebo rukopis
3
Autor Beneš, Nikola
Vydáno 2012
Témata: ';
“...formální verifikace...”Vydáno 2012
Získat plný text
VŠ práce nebo rukopis
4
Autor Češka, Milan, 1946-
Vydáno 2012
Témata: ';
“...formální verifikace...”Vydáno 2012
Získat plný text
VŠ práce nebo rukopis
5
Autor Ročkai, Petr
Vydáno 2015
Témata: ';
“...formální verifikace...”Vydáno 2015
Získat plný text
VŠ práce nebo rukopis