Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Singapore ; Hackensack :
World Scientific,
©2012.
|
| Series: | IISc research monographs series ;
2. |
| Subjects: | |
| Online Access: | Texto completo |