Automata Theory and Logic

Name: Automata Theory and Logic
Brand: springer fachmedien wiesbaden

Compare this product across 2 stores. Lowest product price now 49,49 €.

Latest price observation: 23/10/2026, 05.15

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.

In stock

Lowest product price

49,49 €

Springer Nature Link Shop

Lowest tracked price: 49,49 €

Is now a good time to buy?

Good price

The current price is lower than usual based on observed price history.

Now

49,49 €

Typical 90 days

49,49 €

90-day low

49,49 €

The current price is effectively at the typical observed level.

Based on 33 product-price observations by ParhainHinta. This is price analysis, not a merchant-advertised discount.

See all 2 offers