There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Automata, Logics, and Infinite Games: A Guide to Current Research

By Erich Grädel (Editor), Wolfgang Thomas (Editor), Thomas Wilke (Editor)
Paperback
$79.99
By Erich Grädel (Editor), Wolfgang Thomas (Editor), Thomas Wilke (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 prools 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 nontermina...

Categories