£36.31

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

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£36 today · usual range £0–£0 · best ever £32

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 628 days • 628 data points (No recent data available)

Historical
Generating forecast...
£40.02 £31.09 £33.04 £34.99 £36.93 £38.88 £40.83 09 June 2024 12 November 2024 18 April 2025 22 September 2025 26 February 2026

Price Distribution

Price distribution over 628 days • 7 price levels

Days at Price
Current Price
54 days 144 days 50 days 15 days 291 days · current 46 days 28 days 0 73 146 218 291 £32 £33 £34 £35 £36 £37 £40 Days at Price

Price Analysis

Most common price: £36 (291 days, 46.3%)

Price range: £32 - £40

Price levels: 7 different prices over 628 days

Description

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
24 July 2006
Listed Since
12 January 2007

Barcode

No barcode data available

Similar Products You Might Like

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

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

Springer

£59.99 12 Apr 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 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
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 Theory with Modern Applications
96% match

Automata Theory with Modern Applications

Cambridge University Press

£38.02 20 Feb 2026
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
96% 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
96% match

Automata and Computability: A Programmer's Perspective

CRC Press

£85.20 09 Apr 2026
Logic and Language Models for Computer Science: Third Edition
96% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 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, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I: 9134 (Lecture Notes in Computer Science, 9134)
96% 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
Automata Theory with Modern Applications
96% match

Automata Theory with Modern Applications

Cambridge University Press

£72.79 10 Mar 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
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
96% match

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Springer

£85.47 28 Feb 2026
Theory of Computation: Automata, Formal Languages, Computation and Complexity
96% match

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

Springer

£84.49 15 Feb 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
Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
96% match

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

North Holland

£64.99 05 Apr 2026
Automata Theory: An Algorithmic Approach
96% match

Automata Theory: An Algorithmic Approach

MIT Press

£51.10 13 Jan 2026
Springer Automata, Languages and Programming ICALP 2002
96% match

Springer Automata, Languages and Programming ICALP 2002

Springer

£83.86 18 Apr 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
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
Automata Theory
96% match

Automata Theory

World Scientific Publishing Company

£67.00 22 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