Automata theory : an algorithmic approach / Javier Esparza and Michael Blondin.
Material type:
- 9780262048637
- (CCS) QA267 2023 ES77
Cover image | Item type | Current library | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
|
![]() |
Foundation University Library Circulation | (CCS) QA267 2023 ES77 (Browse shelf(Opens below)) | Available | 0132025005 |
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.
There are no comments on this title.
Log in to your account to post a comment.