Práce na stejné téma (mají shodná klíčová slova):
pushdown systemKlíčová slova abecedně | Klíčová slova dle četnosti
Inteligentní simulátor zásobníkového automatu
(Jan Rychtář)2008, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zh4b6/ | Aplikovaná informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/pxz9s/ | Informatika / | Práce na příbuzné téma
Verification of Probabilistic Recursive Sequential Programs
(Tomáš Brázdil)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/olmmy/ | Informatika / | Práce na příbuzné téma