Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack :
World Scientific,
©2012.
|
| Colección: | IISc research monographs series ;
2. |
| Temas: | |
| Acceso en línea: | Texto completo |