Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500) - Image 1

£59.99

Springer Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)

Name: Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)
Brand: Springer
Price: 59.9 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 77 days • 77 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 77 days • 1 price levels

Days at Price

Price Analysis

Most common price: £60 (77 days, 100.0%)

Price range: £60 - £60

Price levels: 1 different prices over 77 days

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540003886
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 13 December 2002
Listed Since: 22 January 2007

Barcode

No barcode data available

Springer Automata, Logics, and Infinite Games: A Guide to Current Research: 2500 (Lecture Notes in Computer Science, 2500)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Computation Engineering: Applied Automata Theory and Logic

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Automata and Computability

Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography

Springer - Logics of Specification Languages Monograph

Mathematical Foundations of Computer Science

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Measuring Power of Algorithms, Programs and Automata

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Logic and Language Models for Computer Science: Third Edition

Logical Tools for Handling Change in Agent-Based Systems (Cognitive Technologies)

Constructive Models (Siberian School of Algebra and Logic)

Language Computability and Formal Language Theory

Regulated Grammars and Automata

Academic Press Infinite Words - Automata, Semigroups, Logic

Formal Languages and Compilation (Texts in Computer Science)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Theory of Reversible Computing (Monographs in Theoretical Computer Science. An EATCS Series)

Springer Semirings, Automata, Languages: 5 Monographs

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)