Copied Automata, Logics, and Infinite Games
Automata, Logics, and Infinite Games
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
$59.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Einfhrung in die Soziologie der Behinderung
$39.99
Measures and Differential Equations in Infinite-Dimensional Space
$119.99
Processes and Boundaries of the Mind
$39.99
Genocide and its Threat to Contemporary International Order
$39.99
Modeling and Computation in Environmental Sciences
$84.99
Simulations of Decision-Making as Active Learning Tools
$54.99
A School in Africa
$109.99
Genetic Flux in Plants
$54.99
Untersuchung des Betriebs- und Geruschverhaltens einer verstellbaren Axialkolbenpumpe mit Ventil-Vo
$84.99
Aneignung von Diasporawebsites
$39.99
Bifunctional Molecular Catalysis
$219.99
Haunt Me
$5.99
Simulation and Imaging of the Cardiac System
$39.99
The Impact of Education in South Asia
$139.99
Contact Mechanics
$179.99
JIMD Reports - Volume 12
$54.99
Thatcher and After
$39.99
Novel Developments in Futuristic AI-based Technologies
$199.99
Fuzzy Logic and Applications
$54.99
Linear Operators in Function Spaces
$39.99
Gibbs Random Fields
$54.99
Tracking the Automatic ANT
$39.99
Women Filmmakers in Contemporary Hindi Cinema
$169.99
Rational Points
$54.99
Generalized Continua and Dislocation Theory
$169.99
Probabilistic Networks and Expert Systems
$99.00
Formal Power Series and Algebraic Combinatorics
$329.99
Your Passport to Gifted Education
$59.99
Die Selbstndigkeitsfiktion der Betriebssttte
$44.99
Advances in Research on Vegetable Production Under a Changing Climate Vol. 2
$199.99
Challenges to Marine Ecosystems
$169.00
Energy Efficient Solvents for CO2 Capture by Gas-Liquid Absorption
$129.99
Lebende Systeme
$84.99
Assembled Lanthanide Complexes with Advanced Photophysical Properties
$89.00
Regulation of Target Cell Responsiveness
$39.99
Advanced Intelligent Computing Technology and Applications
$129.99
Electron Density and Chemical Bonding II
$499.99
Load-Oriented Manufacturing Control
$84.99
A Practical Guide to Design for Additive Manufacturing
$199.99
Smart Nanostructure Materials and Sensor Technology
$109.99
