Modern Applications of Automata Theory

ISBN-13: 9789814271042 / Angielski / Twarda / 2012 / 672 str.

Deepak D'Souza

Opis

Automata theory has come into prominence with a plethora of applications in fields ranging from verification to XML processing and file compression. This book covers a range of applications of automata theory. It deals with verification and model checking. It is suitable for software practitioners working in this area.