Automata Theory
An Algorithmic Approach
$219.12
- Hardcover
560 pages
- Release Date
14 November 2023
Summary
A comprehensive introduction to automata theory that uses the novel approach of viewing automata as data structures.
This textbook presents automata theory from a fresh viewpoint inspired by its main modern application, program verification, where automata are viewed as data structures for the algorithmic manipulation of sets and relations. This novel “automata as data structures” paradigm makes holistic connections between automata theory and other areas of computer science not cover…
Book Details
| ISBN-13: | 9780262048637 |
|---|---|
| ISBN-10: | 0262048639 |
| Author: | Javier Esparza, Michael Blondin |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 560 |
| Release Date: | 14 November 2023 |
| Weight: | 1.16kg |
| Dimensions: | 236mm x 186mm x 37mm |
About The Author
Javier Esparza
Javier Esparza is Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich and coauthor of Free Choice Petri Nets and Unfoldings- A Partial-Order Approach to Model Checking.
Michael Blondin is Associate Professor of Computer Science at the Universite de Sherbrooke.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.