1
/
of
1
Martin Hofmann
Automata Theory and Logic
Automata Theory and Logic
💎 Earn 169 Points (£1.69) on this item.
ORDERED FOR YOU
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
Regular price
£33.97 GBP
Regular price
£39.99 GBP
Sale price
£33.97 GBP
Unit price
/
per
Taxes included.
Shipping calculated at checkout.
YOU SAVE £6.02
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about 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.
- Publication date: 30 October 2025
- Page count: 419
- Dimensions: Height 155 mm; Width 234 mm; Thickness 29 mm
- Publisher: Springer Fachmedien Wiesbaden
- Format: Paperback
- ISBN-13: 9783662721537
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
