Automata Theory and Logic
Book Details
Format
Paperback / Softback
ISBN-10
3662721538
ISBN-13
9783662721537
Publisher
Springer Fachmedien Wiesbaden
Imprint
Springer Vieweg
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Oct 30th, 2025
Print length
419 Pages
Weight
668 grams
Dimensions
15.50 x 23.40 x 2.90 cms
Product Classification:
Computer scienceMathematical theory of computation
Ksh 7,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book introduces the reader into the field of automata theory and logic. 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.
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.
Get Automata Theory and Logic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Fachmedien Wiesbaden and it has pages.
