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

£36.34

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

Name: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Brand: Springer
Price: 36.34 GBP
Availability: InStock

Mathematical Logic

It has never been this cheap. We have no record of a lower price.

£36 today · cheaper than every other day in the last 3 months

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 70 days · 70 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 70 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (69 days, 98.6%)

Price range: £36 - £37

Price levels: 2 different prices over 70 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

Brand: Springer
Format: hardcover
ASIN: 3540329226
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 24 July 2006
Listed Since: 12 January 2007

Barcode

No barcode data available

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

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Automata and Computability (Undergraduate Texts in Computer Science)

Springer Semirings, Automata, Languages: 5 Monographs

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)

Automata and Languages (Oxford Science Publications)

Automata and Computability

MODERN APPLICATIONS OF AUTOMATA THEORY: 2 (Iisc Research Monographs Series)

Developments in Language Theory: 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings: 13911 (Lecture Notes in Computer Science, 13911)

Knowledge Structures for Communications in Human-Computer Systems: General Automata-Based: 56 (Practitioners)

Automata Theory with Modern Applications

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

Automata and Computability: A Programmer's Perspective

Logic and Language Models for Computer Science: Third Edition

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

Algebraic Theory Of Automata And Languages

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)

Automata Theory with Modern Applications

Concise Guide to Computation Theory

Automata Theory and Formal Languages (De Gruyter Textbook)

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)

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

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

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