Synopsis
Automata Theory and Its Applications This work is a uniform treatment of the theory of finite state machines on finite and infinite strings and trees. The results have important applications to modelling parallel computation and concurrency, and the specification and verification of sequential and concurrent programs. Full description
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
