Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Singapore ; Hackensack :
World Scientific,
©2012.
|
| Collection: | IISc research monographs series ;
2. |
| Sujets: | |
| Accès en ligne: | Texto completo |