Simulations and antichains for efficient handling of finite automata : monograph /

Hlavní autor: Holík, Lukáš
Další autoři: Vojnar, Tomáš, 1973-
Jazyk: Angličtina
Vydáno: Brno : Faculty of Information Technology, Brno University of Technology, 2010
Vydání: Vyd. 1.
Témata:
Externí odkaz: Digitalizovaný dokument
Fyzický popis: ix, 135 s. : il. (některé barev.) ; 26 cm
Knihy
Uloženo v:
Bibliografie: Obsahuje bibliografii
ISBN: 978-80-214-4217-7
Signatura: 2-1265.059
Odkaz do Alephu: plné zobrazení exempláře