Počet záznamů: 1
Extending temporal logic with omega-automata
Údaje o názvu Extending temporal logic with omega-automata : the automata theoretic techniques behing PSL model checking / Nir Piterman Osobní jméno Piterman, Nir (autor) Nakladatel Saarbrücken : LAP LAMBERT Academic Publishing, [2010] Copyright ©2010 Fyz.popis iii, 74 stran ISBN 978-3-8383-2206-3 (brožováno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii Předmět.hesla teorie automatů automata theory Forma, žánr učebnice textbooks Konspekt 519.1/.8 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 519.713 , (075) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/3789 (PřF) 3134050124 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1