Imagen 1 de 1
Galería
Imagen 1 de 1
¿Quieres vender uno?
Automata Theory: An Algorithmic Approach by Javier Esparza, Michael Blondin
USD39,00
Aproximadamente33,49 EUR
o Mejor oferta
Estado:
Como nuevo
Libro en perfecto estado y poco leído. La tapa no tiene desperfectos y si procede, con sobrecubierta para las tapas duras. Incluye todas las páginas sin arrugas ni roturas. El texto no está subrayado ni resaltado de forma alguna, y no hay anotaciones en los márgenes. Puede presentar marcas de identificación mínimas en la contraportada o las guardas. Muy poco usado. Consulta el anuncio del vendedor para obtener más información y la descripción de cualquier posible imperfección.
- ¡Cómpralo ya!Automata Theory: An Algorithmic Approach by Javier Esparza, Michael Blondin
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Envío:
USD5,97 (aprox. 5,13 EUR) USPS Media MailTM.
Ubicado en: Millington, New Jersey, Estados Unidos
Entrega:
Entrega prevista entre el mar. 21 oct. y el mar. 28 oct. a 94104
Devoluciones:
No se aceptan devoluciones.
Pagos:
Compra con confianza
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:196397049082
Características del artículo
- Estado
- Publication Date
- 2023-10-17
- Book Title
- Automata Theory: An Algorithmic Approach
- Subject
- Computer Science
- ISBN
- 9780262048637
Acerca de este producto
Product Identifiers
Publisher
MIT Press
ISBN-10
0262048639
ISBN-13
9780262048637
eBay Product ID (ePID)
19058808931
Product Key Features
Number of Pages
560 Pages
Language
English
Publication Name
Automata Theory : an Algorithmic Approach
Subject
Programming / Algorithms, Software Development & Engineering / General, Computer Science
Publication Year
2023
Type
Textbook
Subject Area
Computers
Format
Hardcover
Dimensions
Item Height
1.5 in
Item Weight
41.1 Oz
Item Length
9.3 in
Item Width
7.3 in
Additional Product Features
Intended Audience
Trade
LCCN
2022-052126
Illustrated
Yes
Table Of Content
Preface xiii 0 Overview 1 I Automata on Finite Words 1 Automata Classes and Conversions 9 2 Minimization and Reduction 49 3 Operations on Sets: Implementations 75 4 Application 1: Pattern Matching 101 5 Operations on Relations: Implementations 113 6 Finite Universes and Decision Diagrams 131 7 Application II: Verification 163 8 Automata and Logic 193 9 Application III: Presburger Arithmetic 229 II Automata on Infinite Words 10 Classes of Automata and Conversions 247 11 Boolean Operations: Implementations 289 12 Emptiness Check: Implementations 313 13 Application I: Verification and Temporal Logic 341 14 Application II: MSO Logics on Words and Linear Arithmetic 365 Solutions 377 Bibliographic Notes 523 Bibliography 531 Index 539
Synopsis
This comprehensive 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. The novel "automatea as data structures" paradigm makes holistic connection between automata theory and other areas of computer science not covered in traditional texts, linking the study of algorithms and data structures with that of the theory of formal language and computability. The first introduction to automata on infinite words that docs not assume prior knowledge of finite automata, Incisive overviews of core concepts balance description, examples, and theoretical results, Features extensive illustrations, exercises, and solutions, Algorithm approach ideal for programmers and researchers, Suitable for undergraduate and graduate students, 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 covered in traditional texts, linking the study of algorithms and data structures with that of the theory of formal languages and computability. Esparza and Blondin provide incisive overviews of core concepts along with illustrated examples and exercises that facilitate quick comprehension of rigorous material. Uses novel "automata as data structures" approach Algorithm approach ideal for programmers looking to broaden their skill set and researchers in automata theory and formal verification The first introduction to automata on infinite words that does not assume prior knowledge of finite automata Suitable for both undergraduate and graduate students Thorough, engaging presentation of concepts balances description, examples, and theoretical results Extensive illustrations, exercises, and solutions deepen comprehension
LC Classification Number
QA267.E87 2023
Descripción del artículo del vendedor
Acerca de este vendedor
haimk
100% de votos positivos•16 artículos vendidos
Registrado como vendedor particularPor tanto, no se aplican los derechos de los consumidores derivados de las leyes de protección de los consumidores de la UE. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más informaciónMás información
Votos de vendedor (6)
- a***5 (1363)- Votos emitidos por el comprador.Último añoCompra verificadaBook as describedMaya Plisetskaya Майя Плисецкая Тринадцать лет спустя - Сердитые заметки HC Rus (#196413425216)
- eBay automated Feedback- Votos emitidos por el comprador.Mes pasadoOrder delivered on time with no issues
- eBay automated Feedback- Votos emitidos por el comprador.Últimos 6 mesesOrder delivered on time with no issuesConnecting Discrete Mathematics and Computer Science by David Liben-Nowell: Used (#197291339713)