Automata Theory and Logic

Name: Automata Theory and Logic
Brand: Springer-Verlag GmbH
SKU: 9783662721537
Price: 46.65 EUR
Availability: InStock

Автор: Martin Lange

Език:

Корици: С меки корици

Издател: Springer-Verlag GmbH

Наличност: Външен склад

Изпращаме след 5-8 дни

46.65 € 91.24 лв

This book introduces the reader into the field of automata theory and logic. It studies fundamental...

Информация за книгата

Автор

Martin Lange

Език

Английски език

Корици

Книга - С меки корици

Издадена

2025

страници

440

EAN

9783662721537

ISBN

3662721538

Enbook ID

49305558

Издател

Springer-Verlag GmbH

Теглоt

663

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Automata Theory and Logic

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също