Normal view MARC view ISBD view

Esparza, Javier author

Automata theory : an algorithmic approach / Javier Esparza and Michael Blondin. - Fifth Edition - London : The MIT Press ; 2023. - xv, 539 pages : illustrations ; 23 cm

includes bibliographical references and appendices.

"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher.


ISBN: 9780262048637

Subjects--Topical Terms:
Machine theory.

Index Terms--Curriculum Objective:
Computer Studies, College of.--Automata theory : an algorithmic approach.

LC Class. No.: (CCS) QA267 / 2023 ES77