£75.52

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

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

Cambridge University Press An Introduction to Bisimulation and Coinduction

View at Amazon

Price History & Forecast

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

Last 17 days · 17 data points (no recent data)

Historical
Generating forecast…
£75.95 £75.48 £75.58 £75.68 £75.79 £75.89 £75.99 25 July 2026 29 July 2026 02 August 2026 06 August 2026 10 August 2026
View at Amazon ↗

25 b/w illus. 210 exercises

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

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 Distribution

Price distribution over 17 days • 1 price levels

Days at Price
17 days 0 4 9 13 17 £76 Days at Price

Price Analysis

Most common price: £76 (17 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 17 days

Description

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.

Key Features

An Introduction to Bisimulation and Coduction

Product type: ABIS BOOK

Brand: Cambridge University Press

Product Specifications

Barcode

No barcode data available

Similar Products You Might Like

Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications)
96% match

Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications)

CRC Press

£260.00 29 Aug 2026
Reasoning by Mathematical Induction in Children's Arithmetic (Advances in Learning and Instruction Series)
95% match

Reasoning by Mathematical Induction in Children's Arithmetic (Advances in Learning and Instruction Series)

Parlux

£101.99 14 Oct 2026
Discrete Mathematics for Computer Science
95% match

Discrete Mathematics for Computer Science

£86.76 02 Oct 2026
An Introduction to Probability and Inductive Logic
95% match

An Introduction to Probability and Inductive Logic

Cambridge University Press

£98.80 03 Oct 2026
Logic, Induction and Sets (London Mathematical Society Student Texts): 56 (London Mathematical Society Student Texts, Series Number 56)
95% match

Logic, Induction and Sets (London Mathematical Society Student Texts): 56 (London Mathematical Society Student Texts, Series Number 56)

Cambridge University Press

£99.75 04 Oct 2026
Oxford University Press - An Introduction to Proof Theory Book
95% match

Oxford University Press - An Introduction to Proof Theory Book

Oxford University Press

£112.54 11 Aug 2026
Proof Theory: The First Step into Impredicativity (Universitext)
95% match

Proof Theory: The First Step into Impredicativity (Universitext)

Springer

£52.35 06 Oct 2026
An Introduction to the Language of Mathematics
95% match

An Introduction to the Language of Mathematics

Springer

£39.77 23 Sep 2026
Automated Mathematical Induction
95% match

Automated Mathematical Induction

Springer

£85.65 19 Oct 2026
Metamathematics of First-Order Arithmetic - Perspectives Logic
94% match

Metamathematics of First-Order Arithmetic - Perspectives Logic

Cambridge University Press

£151.00 05 Oct 2026
The Material Theory of Induction: 1 (BSPS Open)
94% match

The Material Theory of Induction: 1 (BSPS Open)

University of Calgary Press

£38.80 04 Sep 2026
Foundations of Geometry and Induction: Containing Geometry in the Sensible World and the Logical Problem (International Library of Philosophy)
94% match

Foundations of Geometry and Induction: Containing Geometry in the Sensible World and the Logical Problem (International Library of Philosophy)

Routledge

£248.35 27 Aug 2026
Cambridge Pure Inductive Logic - Perspectives in Logic Book
94% match

Cambridge Pure Inductive Logic - Perspectives in Logic Book

Cambridge University Press

£97.00 07 Oct 2026
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science, 543)
94% match

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science, 543)

Springer

£44.48 08 Oct 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
94% match

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer

£98.51 23 Sep 2026
Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis
94% match

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Birkhauser

£108.00 14 Aug 2026
The Implications of Induction: 5 (Routledge Library Editions: Logic)
94% match

The Implications of Induction: 5 (Routledge Library Editions: Logic)

Routledge

£117.26 06 Oct 2026
Abduction and Induction: Essays on Relation and Integration
94% match

Abduction and Induction: Essays on Relation and Integration

Springer

£110.54 07 Oct 2026
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
94% match

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

CRC Press

£77.58 11 Sep 2026
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
94% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£108.01 25 Aug 2026
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
94% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£98.76 11 Aug 2026
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
94% match

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

£86.50 02 Oct 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
94% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£47.28 15 Aug 2026
CRC Press Introduction to Mathematical Logic - 6th Edition
94% match

CRC Press Introduction to Mathematical Logic - 6th Edition

CRC Press

£85.00 11 Aug 2026