Automata Theory and Logic

Name: Automata Theory and Logic
Brand: Springer Fachmedien Wiesbaden
SKU: 9783662721537
Price: 7200 KES
Availability: OutOfStock
ISBN: 9783662721537

by Martin Hofmann , Martin Lange

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 science Mathematical theory of computation

KSh 7,200.00

Currently unavailable 0 in stock

Delivery Location

County

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 Martin Hofmann, Martin Lange 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 419 pages.