£61.72

Cambridge University Press Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Price data last checked 35 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.

£62 today · previous high £62 · all-time low £37

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

Historical
Generating forecast...
£61.72 £34.53 £40.46 £46.39 £52.33 £58.26 £64.19 24 March 2026 06 April 2026 20 April 2026 04 May 2026 18 May 2026

Price Distribution

Price distribution over 56 days • 4 price levels

Days at Price
Current Price
15 days 6 days 6 days 29 days · current 0 7 15 22 29 £37 £50 £55 £62 Days at Price

Price Analysis

Most common price: £62 (29 days, 51.8%)

Price range: £37 - £62

Price levels: 4 different prices over 56 days

Description

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
13 October 2011
Listed Since
08 April 2011

Barcode

No barcode data available

Similar Products You Might Like

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
81% match

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge University Press

£131.48 27 May 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
81% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£94.58 31 May 2026
Automatic Sequences: Theory, Applications, Generalizations
80% match

Automatic Sequences: Theory, Applications, Generalizations

Cambridge University Press

£63.20 10 Jun 2026
Structural Proof Theory
80% match

Structural Proof Theory

Cambridge University Press

£94.00 04 Jun 2026
Topics in Grammatical Inference
79% match

Topics in Grammatical Inference

Springer

£76.38 25 May 2026
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
79% match

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Springer

£39.55 16 May 2026
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
79% match

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship: 23 (Cambridge Tracts in Theoretical Computer Science, Series Number 23)

Cambridge University Press

£82.83 04 Jun 2026
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
79% match

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Springer

£105.94 17 May 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
79% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£156.75 12 May 2026
An Introduction to Formal Languages and Machine Computation
78% match

An Introduction to Formal Languages and Machine Computation

Scientific Publishing

£68.00 15 Jun 2026
Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)
78% match

Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)

Cambridge University Press

£70.20 17 May 2026
Combinatorial Mathematics
78% match

Combinatorial Mathematics

Cambridge University Press

£62.86 21 Jun 2026
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
78% match

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

Springer

£107.98 31 May 2026
Introduction to Finite Fields and their Applications
78% match

Introduction to Finite Fields and their Applications

Cambridge University Press

£109.18 18 May 2026
Programming with Higher-Order Logic
78% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
77% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£86.11 02 Jun 2026
Lambda Calculus with Types (Perspectives in Logic)
77% match

Lambda Calculus with Types (Perspectives in Logic)

Cambridge University Press

£73.87 20 Jun 2026
Logics for Computer Science: Classical and Non-Classical
77% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Discrete Maths Software Engineers: An Introduction for Software Engineers
77% match

Discrete Maths Software Engineers: An Introduction for Software Engineers

Cambridge University Press

£41.97 12 May 2026
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
77% match

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)

Birkhauser

£115.87 01 Jun 2026
Introduction to Parallel Programming
77% match

Introduction to Parallel Programming

Cambridge University Press

£14.86 14 Jun 2026
New Computational Paradigms: Changing Conceptions of What is Computable
77% match

New Computational Paradigms: Changing Conceptions of What is Computable

Springer

£108.92 28 May 2026
Categories for Types (Studies in Emotion and Social Interaction)
77% match

Categories for Types (Studies in Emotion and Social Interaction)

Cambridge University Press

£118.95 17 May 2026
Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
77% match

Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)

Springer

£73.03 15 Jun 2026