Get Free Shipping on orders over $79
Modern Applications Of Automata Theory : Iisc Research Monographs - Deepak  D'souza

Modern Applications Of Automata Theory

By: Deepak D'souza (Editor), Priti Shankar (Editor)

Hardcover | 25 May 2012

At a Glance

Hardcover


RRP $435.99

$392.75

10%OFF

or 4 interest-free payments of $98.19 with

 or 

Ships in 15 to 25 business days

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.

More in Algorithms & Data Structures

Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schll
Learning Spark : Lightning-Fast Data Analytics - Brooke Wenig

RRP $152.00

$73.75

51%
OFF
Python for Algorithmic Trading : From Idea to Cloud Deployment - Yves Hilpisch
HBR's 10 Must Reads on Data Strategy : HBR's 10 Must Reads - Harvard Business Review
New Storytelling : Learning through Metaphors - Anna Ursyn

RRP $103.00

$91.75

11%
OFF
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul
Uncertain Data Analysis : Fuzzy Vector Algorithms - Sansanee Auephanwiriyakul

RRP $94.99

$85.75

10%
OFF
Applied Data Science in FinTech : Models, Tools, and Case Studies - Juraj Hric