Wyniki wyszukiwania:
wyszukanych pozycji: 2
 |
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
ISBN: 9783642069475 / Angielski / Miękka / 2010 / 181 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent be... |
cena:
200,77 |
 |
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
ISBN: 9783540329220 / Angielski / Twarda / 2006 / 181 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent be... |
cena:
200,77 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
