Number of the records: 1
Extending temporal logic with omega-automata
Title statement Extending temporal logic with omega-automata : the automata theoretic techniques behing PSL model checking / Nir Piterman Personal name Piterman, Nir (author) Publication Saarbrücken : LAP LAMBERT Academic Publishing, [2010] Copyright notice date ©2010 Phys.des. iii, 74 stran ISBN 978-3-8383-2206-3 (brožováno) Internal Bibliographies/Indexes Note Obsahuje bibliografii Subj. Headings teorie automatů automata theory Form, Genre učebnice textbooks Conspect 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 UDC 519.713 , (075) Country Německo Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/3789 (PřF) 3134050124 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1