Modern applications of automata theory
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789814271042
Date de publication :
16 juil. 2012
Langue :
Anglais
Pays d'origine :
Singapour
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.