Automata Theory and Logic
Regulärer Preis:
48,14 €
Sofort verfügbar
Automata Theory and Logic, Springer Vieweg
Von Martin Hofmann, Martin Lange, im heise shop in digitaler Fassung erhältlich
Produktinformationen "Automata Theory and Logic"
This book introduces the reader into the field of automata theory and logic. It
studies fundamental properties like complementation and determinisation of
automata on infinite words and trees, and presents their applications for logics
used in program verification. The presentation of such concepts – some of
which are 50 years old or more – is given in a modern style and is
accompanied by many exercises. The book can be used for self-study or as a basis
for a graduate course on automata and logic, presupposing knowledge on finite
automata and regular languages of finite words only.
Artikel-Details
- Anbieter:
- Springer Vieweg
- Autor:
- Martin Hofmann, Martin Lange
- Artikelnummer:
- 9783662721544
- Veröffentlicht:
- 29.10.25
Barrierefreiheit
This PDF does Not fully comply with PDF/UA standards but does include limited screen reader support, descriptions for Non-text content (such as images and graphs), bookmarks for easy navigation, and s
- nicht oder eingeschränkt barrierefrei (09)
- keine Vorlesefunktionen des Lesesystems deaktiviert (bis auf) (10)
- navigierbares Inhaltsverzeichnis (11)
- logische Lesereihenfolge eingehalten (13)
- kurze Alternativtexte (z.B für Abbildungen) vorhanden (14)
- Inhalt auch ohne Farbwahrnehmung verständlich dargestellt (25)
- hoher Kontrast zwischen Text und Hintergrund (26)
- Navigation über vor-/zurück-Elemente (29)
- alle zum Verständnis notwendigen Inhalte über Screenreader zugänglich (52)
- Kontakt zum Herausgeber für weitere Informationen zur Barrierefreiheit (99)