Automatentheorie: Ein algorithmischer Ansatz von Javier Esparza, Michael Blondin

haimk
(306)
Angemeldet als privater Verkäufer
Verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $39,00
Ca.CHF 31,07
oder Preisvorschlag
Artikelzustand:
Neuwertig
Versand:
US $5,97 (ca. CHF 4,76) USPS Media MailTM.
Standort: Millington, New Jersey, USA
Lieferung:
Lieferung zwischen Di, 21. Okt und Di, 28. Okt nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
Keine Rücknahme.
Zahlungen:
     Diners Club

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:196397049082

Artikelmerkmale

Artikelzustand
Neuwertig: Buch, das wie neu aussieht, aber bereits gelesen wurde. Der Einband weist keine ...
Publication Date
2023-10-17
Book Title
Automata Theory: An Algorithmic Approach
Subject
Computer Science
ISBN
9780262048637
Kategorie

Über dieses Produkt

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
Author
Javier Esparza, Michael Blondin
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

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

haimk

100% positive Bewertungen•16 Artikel verkauft

Mitglied seit Nov 2001
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Mehr Artikel des VerkäufersKontakt

Verkäuferbewertungen (6)

Alle Bewertungenselected
Positiv
Neutral
Negativ
  • a***5 (1363)- Bewertung vom Käufer.
    Letztes Jahr
    Bestätigter Kauf
    Book as described
    Maya Plisetskaya Майя Плисецкая Тринадцать лет спустя - Сердитые заметки HC Rus (Nr. 196413425216)
  • eBay automated Feedback- Bewertung vom Käufer.
    Letzter Monat
    Order delivered on time with no issues
    Золотой Храм. (Nr. 197113290666)
  • eBay automated Feedback- Bewertung vom Käufer.
    Letzte 6 Monate
    Order delivered on time with no issues
    Connecting Discrete Mathematics and Computer Science by David Liben-Nowell: Used (Nr. 197291339713)
Alle Bewertungen ansehen

Noch mehr entdecken: