Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automata, Logics, and Infinite Games

Automata, Logics, and Infinite Games

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540003885
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

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