Katalog Moravskoslezské vědecké knihovny v Ostravě

Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 22.08.2020. Zobrazit aktuální podobu v katalogu.

Formát Kniha Hlavní záhlaví Vojnar, Tomáš, 1973- Název Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis / Tomáš Vojnar Vydání Vyd. 1. Nakl. údaje Brno : Faculty of Information Technology, Brno University of Technology, 2007 Popis (rozsah) ix, 177 s. : il. ; 25 cm EXEMPLÁŘE Všechny jednotky ISBN 978-80-214-3547-6 (brož.) Další korporace Vysoké učení technické v Brně. Fakulta informačních technologií Poznámka Vydavatel: Vysoké učení technické v Brně, Fakulta informačních technologií Habilitační práce--Vysoké učení technické v Brně Bibliografie na s. [165]-177 Číslo nár. bibl. cnb001784503 Předmět. heslo Systémy dynamické - verifikace - práce habilitační Heslo MSVK dynamické systémy verifikace Forma, žánr * habilitační práce Skupina Konspektu 519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování MDT 517.9 519.8 Systém. číslo 000062437

© 2005-2020 Ex Libris, Moravskoslezská vědecká knihovna v Ostravě