Automata Theory and Logic - Martin Hofmann

Instant online reading.
Don't wait for delivery!

Automata Theory and Logic

By: Martin Hofmann, Martin Lange

Write A Review

Paperback | 3 December 2025

At a Glance

Paperback
440 Pages

Dimensions(cm)
23.39 x 15.6 x 2.26

Paperback

$109.00

or 4 interest-free payments of $27.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.