Automata, Logics, and Infinite Games

Download or Read eBook Automata, Logics, and Infinite Games PDF written by Erich Grädel and published by Springer. This book was released on 2003-08-02 with total page 377 pages. Available in PDF, EPUB and Kindle.
Automata, Logics, and Infinite Games
Author :
Publisher : Springer
Total Pages : 377
Release :
ISBN-10 : 9783540363873
ISBN-13 : 3540363874
Rating : 4/5 (73 Downloads)

Book Synopsis Automata, Logics, and Infinite Games by : Erich Grädel

Book excerpt: A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games. The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.


Automata, Logics, and Infinite Games Related Books

Automata, Logics, and Infinite Games
Language: en
Pages: 377
Authors: Erich Grädel
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm a
Automata, Logics, and Infinite Games
Language: en
Pages: 392
Authors: Erich Grädel
Categories: Computers
Type: BOOK - Published: 2002-12-13 - Publisher: Springer

DOWNLOAD EBOOK

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm a
Logic and Its Applications
Language: en
Pages: 228
Authors: Mohua Banerjee
Categories: Computers
Type: BOOK - Published: 2010-12-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Confere
Temporal Logics in Computer Science
Language: en
Pages: 753
Authors: Stéphane Demri
Categories: Computers
Type: BOOK - Published: 2016-10-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
Logics in Computer Science
Language: en
Pages: 165
Authors: Fabio Mogavero
Categories: Computers
Type: BOOK - Published: 2013-07-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the