Alle Kategorien
Bücher
Bestseller Hardcover
Bestseller Taschenbuch
Bestseller Autor
Persönlichkeitsentwicklung
Mangas
Finanzbücher
Selbstfindung
Essen & Trinken
Englischsprachige Bücher
Märchen & Sagen
Krimis & Thriller
Neuerscheinungen
Ratgeber
Motivationsbücher
WAS IST WAS
Wieso? Weshalb? Warum?
BookTok
Schule & Lernen
Schulbücher bestellen
Berufsschulbücher
Neuerscheinungen
Kreativität & Do it yourself
Gesellschaftsspiele
Bestseller
Brettspiele
Geschicklichkeitsspiele
EXIT - Das Spiel
Neuerscheinungen
Kalender
Adventskalender
Notizkalender
Tageskalender
Wochenkalender
Monatskalender
Motivkalender
Hörbücher
Neuerscheinungen
Themenwelt
Puzzlespiele
Halloween
Adventskalender
Winterwonderland
Autor des Monats
Asterix
Valentinstag
Frühlingserwachen
Warrior Cats
Black Dagger
Fast & Furious
Robert Hunter
Midnight Breed
Harry Potter
David Hunter
Herr der Ringe
Ostern
Tonies
tiptoi
0,00 €*
Cover: 9780262048637 | Automata Theory | An Algorithmic Approach | Javier Esparza (u. a.)
Dekorationsartikel gehören nicht zum Leistungsumfang.
Automata Theory
An Algorithmic Approach
Buch von Javier Esparza (u. a.)
Sprache: Englisch

93,70 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher.
"The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher.
Über den Autor
Javier Esparza and Michael Blondin
Inhaltsverzeichnis
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
Details
Erscheinungsjahr: 2023
Fachbereich: EDV
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9780262048637
ISBN-10: 0262048639
Sprache: Englisch
Einband: Gebunden
Autor: Esparza, Javier
Blondin, Michael
Hersteller: MIT Press Ltd
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 236 x 185 x 40 mm
Von/Mit: Javier Esparza (u. a.)
Erscheinungsdatum: 17.10.2023
Gewicht: 1,19 kg
Artikel-ID: 127154687
Über den Autor
Javier Esparza and Michael Blondin
Inhaltsverzeichnis
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
Details
Erscheinungsjahr: 2023
Fachbereich: EDV
Genre: Importe, Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Einband - fest (Hardcover)
ISBN-13: 9780262048637
ISBN-10: 0262048639
Sprache: Englisch
Einband: Gebunden
Autor: Esparza, Javier
Blondin, Michael
Hersteller: MIT Press Ltd
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 236 x 185 x 40 mm
Von/Mit: Javier Esparza (u. a.)
Erscheinungsdatum: 17.10.2023
Gewicht: 1,19 kg
Artikel-ID: 127154687
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9781107011793 | Computer Vision | Simon J. D. Prince | Buch | Gebunden | Englisch
Computer Vision
EAN: 9781107011793
Sprache: Englisch
Von/Mit: Simon J. D. Prince

104,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781441923905 | Number Theory | Volume I: Tools and Diophantine Equations | Cohen
Number Theory
Volume I: Tools and Diophantine Equations
EAN: 9781441923905
Sprache: Englisch
Von/Mit: Henri Cohen

51,15 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9781789348347 | Learn Algorithmic Trading | Sourav Ghosh (u. a.) | Taschenbuch | 2019
Learn Algorithmic Trading
EAN: 9781789348347
Sprache: Englisch
Von/Mit: Sourav Ghosh (u. a.)

58,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781925185782 | Planning and Control Using Oracle Primavera P6 Versions 8 to 20 PPM...
Planning and Control Using Oracle Primavera P6 Versions 8 to 20 PPM Professional
EAN: 9781925185782
Sprache: Englisch
Von/Mit: Paul E Harris

90,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783960091769 | Spring Boot | Cloud-native Anwendungen mit Java und Kotlin erstellen
Spring Boot
Cloud-native Anwendungen mit Java und Kotlin erstellen
EAN: 9783960091769
Sprache: Deutsch
Von/Mit: Mark Heckler

36,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781098110000 | Hands-On Selenium Webdriver with Java | Boni Garcia | Taschenbuch
Hands-On Selenium Webdriver with Java
A Deep Dive Into the Development of End-To-End Tests
EAN: 9781098110000
Sprache: Englisch
Von/Mit: Boni Garcia

61,75 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781108834766 | Complexity Science | The Study of Emergence | Henrik Jeldtoft Jensen
Complexity Science
The Study of Emergence
EAN: 9781108834766
Sprache: Englisch
Von/Mit: Henrik Jeldtoft Jensen

63,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9798985814736 | Low-Code/No-Code | Phil Simon | Taschenbuch | Kartoniert / Broschiert
Low-Code/No-Code
Citizen Developers and the Surprising Future of Business Applications
EAN: 9798985814736
Sprache: Englisch
Von/Mit: Phil Simon

26,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781804619070 | Effective Concurrency in Go | Burak Serdar | Taschenbuch | Englisch
Effective Concurrency in Go
Develop, analyze, and troubleshoot high performance concurrent applications with ease
EAN: 9781804619070
Sprache: Englisch
Von/Mit: Burak Serdar

50,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789355516060 | Learn C Programming from Scratch | Mohammad Saleem Mir | Taschenbuch
Learn C Programming from Scratch
A step-by-step methodology with problem solving approach (English Edition)
EAN: 9789355516060
Sprache: Englisch
Von/Mit: Mohammad Saleem Mir

48,60 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783658446314 | Der dynamikrobuste Strategieprozess | Roman P. Büchler | Buch | xxii
Der dynamikrobuste Strategieprozess
Strategiearbeit für unsichere Zeiten
EAN: 9783658446314
Sprache: Deutsch
Von/Mit: Roman P. Büchler

44,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9789365890396 | Low Code Development with Mendix | Erwin 'T Hoen | Taschenbuch | 2024
Low Code Development with Mendix
Developing state of the art innovative apps at speed with the Mendix low code development platform (English Edition)
EAN: 9789365890396
Sprache: Englisch
Von/Mit: Erwin 'T Hoen

52,60 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...