Hoppa till sidans huvudinnehåll

Automata Theory and Logic

Häftad, Engelska, 2025

AvMartin Hofmann,Martin Lange

669 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

  • Utgivningsdatum2025-10-30
  • Mått155 x 235 x 29 mm
  • Vikt668 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor419
  • FörlagSpringer Fachmedien Wiesbaden
  • ISBN9783662721537

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av