Automata, Logics, and Infinite Games: A Guide to Current Research (2002) (Lecture Notes in Computer Science #2500)
By: and and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2002
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540363873
- Related ISBNs:
- 9783540003885
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 06/22/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Erich Grädel
- Edited by:
- Wolfgang Thomas
- Edited by:
- Thomas Wilke
Reviews
Other Books
- by Erich Grädel
- by Wolfgang Thomas
- by Thomas Wilke
- in Nonfiction
- in Computers and Internet