Počet záznamov: 1
Konštrukcia Buchiho automatov z formúl logiky LTL
Údaje o názve Konštrukcia Buchiho automatov z formúl logiky LTL Záhlavie-meno Plevko, Ján, 1987- (Autor) - FEI Fakulta elektrotechniky a informatiky Ďal.zodpovednosť Fogel, Jaroslav, 1945- (Školiteľ (konzultant)) - FEI Katedra aplikovanej informatiky a výpočtovej techniky Prekl.náz Constructing Buchi automata from LTL formulae Vyd.údaje Bratislava : STU v Bratislave FEI, 2011 Fyz.popis 61 s Predmet.heslá Aplikovaná informatika Applied Infromatics verifikačné protokoly Krajina Slovensko, Slovenská republika Jazyk dok. slovenčina URL http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71860 Druh dok. DDP - diplomová práca 
kniha
Čiar.kód Lokačná signatúra Signatúra Lokácia Dislokácia Info 284EP09920 E*DIPL-9920 Fakulta elektrotechniky a informatiky Ústav informatiky a matematiky nedostupný
Počet záznamov: 1