Javier Esparza, Michael BlondinAutomata TheoryAn Algorithmic Approach LeseprobeLeseprobeFotogalerie 90,99 €inkl. MwSt.Versandkostenfrei*Versandfertig in 2-4 Wochen In den Warenkorb45 °P sammeln Javier Esparza, Michael BlondinAutomata TheoryAn Algorithmic ApproachGebundenes Buch Jetzt bewertenJetzt bewerten Merkliste Auf die Merkliste Bewerten Bewerten Teilen Produkt teilen Produkterinnerung Produkterinnerung eBook bestellen Weitere Ausgabe: eBook, ePUB "The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher.LeseprobeAutorenporträtInhaltsangabe Andere Kunden interessierten sich auch fürThomas H. CormenIntroduction to Algorithms 124,99 € John D. KelleherFundamentals of Machine Learning for Predictive Data Analytics 101,99 € Al SweigartThe Recursive Book of Recursion 22,99 € Daniel ZingaroAlgorithmic Thinking 27,99 € Thomas H. Cormen (Dartmouth College)Algorithms Unlocked 39,99 € Elliot LichtmanThe Computer Always Wins 13,99 € Hubie ChenComputability and Complexity 75,99 € Produktbeschreibung "The book presents automata theory from a fresh viewpoint inspired by its main modern application: program verification"-- Provided by publisher.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden. Produktdetails ProduktdetailsVerlag: MIT Press LtdSeitenzahl: 560Erscheinungstermin: 17. Oktober 2023 EnglischAbmessung: 236mm x 185mm x 40mmGewicht: 1186gISBN-13: 9780262048637ISBN-10: 0262048639Artikelnr.: 68272707HerstellerkennzeichnungLibri GmbHEuropaallee 136244 Bad Hersfeldgpsr@libri.de Produktdetails Verlag: MIT Press LtdSeitenzahl: 560Erscheinungstermin: 17. Oktober 2023 EnglischAbmessung: 236mm x 185mm x 40mmGewicht: 1186gISBN-13: 9780262048637ISBN-10: 0262048639Artikelnr.: 68272707HerstellerkennzeichnungLibri GmbHEuropaallee 136244 Bad Hersfeldgpsr@libri.de Autorenporträt Javier Esparza and Michael Blondin Inhaltsangabe Preface xiii0 Overview 1I Automata on Finite Words 1 Automata Classes and Conversions 92 Minimization and Reduction 493 Operations on Sets: Implementations 754 Application 1: Pattern Matching 1015 Operations on Relations: Implementations 1136 Finite Universes and Decision Diagrams 1317 Application II: Verification 1638 Automata and Logic 1939 Application III: Presburger Arithmetic 229II Automata on Infinite Words10 Classes of Automata and Conversions 24711 Boolean Operations: Implementations 28912 Emptiness Check: Implementations 31313 Application I: Verification and Temporal Logic 34114 Application II: MSO Logics on Words and Linear Arithmetic 365Solutions 377Bibliographic Notes 523Bibliography 531Index 539 Inhaltsangabe Preface xiii0 Overview 1I Automata on Finite Words 1 Automata Classes and Conversions 92 Minimization and Reduction 493 Operations on Sets: Implementations 754 Application 1: Pattern Matching 1015 Operations on Relations: Implementations 1136 Finite Universes and Decision Diagrams 1317 Application II: Verification 1638 Automata and Logic 1939 Application III: Presburger Arithmetic 229II Automata on Infinite Words10 Classes of Automata and Conversions 24711 Boolean Operations: Implementations 28912 Emptiness Check: Implementations 31313 Application I: Verification and Temporal Logic 34114 Application II: MSO Logics on Words and Linear Arithmetic 365Solutions 377Bibliographic Notes 523Bibliography 531Index 539
