Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52) - Image 1

£61.72

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

Name: Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
Brand: Cambridge University Press
Price: 30.0 GBP
Availability: InStock

Languages

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (22 days, 24.7%)

Price range: £30 - £93

Price levels: 8 different prices over 89 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

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107004977
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 13 October 2011
Listed Since: 08 April 2011

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Categories for Types (Studies in Emotion and Social Interaction)

Abductive Inference: Computation, Philosophy, Technology

Noncommutative Rational Series with Applications: 137 (Encyclopedia of Mathematics and its Applications, Series Number 137)

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Topology for Computing: 16 (Cambridge Monographs on Applied and Computational Mathematics, Series Number 16)

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

Explicit Brauer Induction: With Applications to Algebra and Number Theory: 40 (Cambridge Studies in Advanced Mathematics, Series Number 40)

Computational Models of Conditioning

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Computation, Proof, Machine: Mathematics Enters a New Age

Elementary Number Theory, Group Theory and Ramanujan Graphs: 55 (London Mathematical Society Student Texts, Series Number 55)

Models and Algorithms of Time-Dependent Scheduling (Monographs in Theoretical Computer Science. An EATCS Series)

An Introduction to Involutive Structures: 6 (New Mathematical Monographs, Series Number 6)

Fourier Transforms: 52 (Cambridge Tracts in Mathematics, Series Number 52)

Computing in Cause-Effect Structures: 331 (Lecture Notes in Networks and Systems, 331)

Applied Combinatorics

Finite Geometry and Combinatorial Applications: 82 (London Mathematical Society Student Texts, Series Number 82)

Interior Point Polynomial Algorithms in Convex Programming: Series Number 13 (Studies in Applied and Numerical Mathematics, Series Number 13)

Handbook of Computability Theory (Volume 140) (Studies in Logic and the Foundations of Mathematics, Volume 140)

Simulation-based Inference in Econometrics: Methods and Applications

Computational Models for Polydisperse Particulate and Multiphase Systems (Cambridge Series in Chemical Engineering)

Hilbert Space Splittings and Iterative Methods: 62 (Springer Series in Computational Mathematics, 62)