Modern applications of automata theory
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To th...
| Други автори: | D'Souza, Deepak., Shankar, P. |
|---|---|
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Singapore :
World Scientific,
℗♭2012.
|
| Серия: |
IISc research monographs series ;
2. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=478648 |
| Подобни документи: |
Print version::
Modern applications of automata theory. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=478648 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA267 .M63 2012eb |
|---|