Name: Automata Theory and Logic
SKU: 64767049
Price: 61.84 EUR
Availability: InStock
Author: Martin Hofmann;Martin Lange
ISBN: 9783662721537

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer Vieweg

Author

Martin Hofmann;Martin Lange

Year

2025

Pages

419

Format

Paperback

Dimensions

23.5x15.5 cm

ISBN13

9783662721537

Automata Theory and Logic

Martin Hofmann;Martin Lange (Author) · Springer Vieweg · Paperback

Cheaper New Book Imported to Austria

Delivery: 29 Sep - 06 Oct

61,84 €

Faster New Book Imported to Austria

Delivery: 18 Sep - 22 Sep

101,53 €

Import costs and 10% VAT included in the price ✅

61,84 €

Add to Wishlist

Synopsis "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.