£59.99

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

Price data last checked 59 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£60 today · previous high £60 · all-time low £60

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical
Generating forecast...
£59.99 £59.95 £59.96 £59.97 £59.97 £59.98 £59.99 12 March 2026 19 March 2026 27 March 2026 04 April 2026 12 April 2026

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price
32 days 0 8 16 24 32 £60 Days at Price

Price Analysis

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

Price range: £60 - £60

Price levels: 1 different prices over 32 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

Format
paperback
Domain
Amazon UK
Release Date
13 December 2002
Listed Since
22 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
97% match

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Springer

£36.31 26 Feb 2026
Logic and Automata: History and Perspectives: 2 (Texts in Logic and Games)
97% match

Logic and Automata: History and Perspectives: 2 (Texts in Logic and Games)

Amsterdam University Press

£49.95 23 Mar 2026
Automata and Languages (Oxford Science Publications)
97% match

Automata and Languages (Oxford Science Publications)

Oxford University Press

£49.98 13 Feb 2026
Automata and Computability
97% match

Automata and Computability

Springer

£63.13 12 Jan 2026
Automata and Computability (Undergraduate Texts in Computer Science)
97% match

Automata and Computability (Undergraduate Texts in Computer Science)

Springer

£39.84 09 Feb 2026
Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers: 1260 (Lecture Notes in Computer Science, 1260)
97% match

Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers: 1260 (Lecture Notes in Computer Science, 1260)

Springer

£44.95 18 Apr 2026
Logic and Language Models for Computer Science: Third Edition
97% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
97% match

Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)

Birkhauser

£82.74 26 Feb 2026
Automata and Computability: A Programmer's Perspective
97% match

Automata and Computability: A Programmer's Perspective

CRC Press

£85.20 09 Apr 2026
Automata Theory with Modern Applications
97% match

Automata Theory with Modern Applications

Cambridge University Press

£72.79 10 Mar 2026
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I: 9134 (Lecture Notes in Computer Science, 9134)
97% match

Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I: 9134 (Lecture Notes in Computer Science, 9134)

Springer

£77.19 13 Apr 2026
Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
97% match

Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

North Holland

£64.99 05 Apr 2026
Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings: 12811 (Lecture Notes in Computer Science, 12811)
96% match

Developments in Language Theory: 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings: 12811 (Lecture Notes in Computer Science, 12811)

Springer

£67.13 14 Feb 2026
Automata Theory with Modern Applications
96% match

Automata Theory with Modern Applications

Cambridge University Press

£38.02 20 Feb 2026
Automata Theory: An Algorithmic Approach
96% match

Automata Theory: An Algorithmic Approach

MIT Press

£51.10 13 Jan 2026
Mathematical Foundations of Computer Science
96% match

Mathematical Foundations of Computer Science

Chapman and Hall/CRC

£41.39 31 Jan 2026
Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)
96% match

Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)

Springer

£74.85 29 Mar 2026
Automata Theory
96% match

Automata Theory

World Scientific Publishing Company

£67.00 22 Feb 2026
Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)
96% match

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

Springer

£47.60 16 Feb 2026
An Introduction to Formal Languages and Automata
96% match

An Introduction to Formal Languages and Automata

Jones & Bartlett Learning

£61.06 08 Jan 2026
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
96% match

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

Springer

£80.59 25 Feb 2026
Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)
96% match

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)

Springer

£85.66 08 Mar 2026
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
96% match

Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions

Springer

£77.32 22 Feb 2026
Automata Theory and Formal Languages (De Gruyter Textbook)
96% match

Automata Theory and Formal Languages (De Gruyter Textbook)

De Gruyter

£42.49 25 Feb 2026