Modern applications of automata theory / editors, Deepak D'Souza, Priti Shankar
Series: Hackensack, NJ : World Scientific Pub Co, 2012Description: xvi, 656 p. : ill. ; 26 cm.ISBN: 9789814271042.Subject(s): Machine theory | Computational complexityGenre/Form: Print books.DDC classification: 511.3 Summary: 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 the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this areaCurrent location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA267 .M63 2012 (Browse shelf) | Available | AU0000000005251 |
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
QA244 .S55 1998 Fermat's enigma : the epic quest to solve the world's greatest mathematical problem / | QA247 .M63 2011 Algebraic number theory / | QA255 .K47 2018 Millions, billions, zillions : defending yourself in a world of too many numbers / | QA267 .M63 2012 Modern applications of automata theory / | QA267.5.C45 W67 2002 A new kind of science / | QA268 .H365 2009 Applied algebra : codes, ciphers, and discrete algorithms / | QA268 .K5827 2019 A course in cryptography / |
Includes bibliographical references and index
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 the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this area