Normal view MARC view ISBD view

Esparza, Javier,

Automata theory : an algorithmic approach / Javier Esparza and Michael Blondin. - pages cm

Includes bibliographical references and index.

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

ISBN: 9780262048637

LCCN: 2022052126

Subjects--Topical Terms:
Machine theory.

Index Terms--Curriculum Objective:
College of Computer Science

LC Class. No.: QA267 / .E87 2023

Dewey Class. No.: 005.13/1