£107.98

Springer Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

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

View at Amazon

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

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

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

Historical
Generating forecast…
£109.98 £107.78 £108.26 £108.74 £109.22 £109.70 £110.18 26 April 2026 10 May 2026 25 May 2026 08 June 2026 23 June 2026

Price Distribution

Price distribution over 59 days • 2 price levels

Days at Price
Current Price
34 days · current 25 days 0 9 17 26 34 £108 £110 Days at Price

Price Analysis

Most common price: £108 (34 days, 57.6%)

Price range: £108 - £110

Price levels: 2 different prices over 59 days

Description

This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
19 November 2010
Listed Since
06 July 2010

Barcode

No barcode data available

Similar Products You Might Like

Probability Logics: Probability-Based Formalization of Uncertain Reasoning
96% match

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Springer

£92.18 08 Jul 2026
Probability Towards 2000: 128 (Lecture Notes in Statistics, 128)
96% match

Probability Towards 2000: 128 (Lecture Notes in Statistics, 128)

Springer

£57.29 08 May 2026
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
96% match

Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach

VDM Verlag

£56.44 17 Jul 2026
Foundations of Probabilistic Programming
96% match

Foundations of Probabilistic Programming

Cambridge University Press

£45.91 11 Jun 2026
An Introduction to Probabilistic Modeling (Undergraduate Texts in Mathematics)
96% match

An Introduction to Probabilistic Modeling (Undergraduate Texts in Mathematics)

Springer

£45.33 08 Jul 2026
Formalized Probability Theory and Applications Using Theorem Proving
96% match

Formalized Probability Theory and Applications Using Theorem Proving

Information Science Reference

£150.34 18 Jun 2026
Recent Advances in Applied Probability
96% match

Recent Advances in Applied Probability

Springer

£104.17 12 Jun 2026
Probability: A Graduate Course: 75 (Springer Texts in Statistics, 75)
96% match

Probability: A Graduate Course: 75 (Springer Texts in Statistics, 75)

Springer

£85.20 10 Jun 2026
14th International Probabilistic Workshop
96% match

14th International Probabilistic Workshop

Springer

£137.02 24 Jun 2026
Springer Engineering Design under Uncertainty and Health Prognostics
95% match

Springer Engineering Design under Uncertainty and Health Prognostics

Springer

£104.33 22 Jul 2026
Lectures on Probability Theory and Statistics: Ecole d' Ete de Probabilites de St. Flour XXIV - 1994: 1648 (Lecture Notes in Mathematics, 1648)
95% match

Lectures on Probability Theory and Statistics: Ecole d' Ete de Probabilites de St. Flour XXIV - 1994: 1648 (Lecture Notes in Mathematics, 1648)

Springer

£40.99 15 Jul 2026
Probability and Information: 35 (Theory and Decision Library, 35)
95% match

Probability and Information: 35 (Theory and Decision Library, 35)

Springer

£86.60 11 Jun 2026
Applied Probability: From Random Experiments to Random Sequences and Statistics
95% match

Applied Probability: From Random Experiments to Random Sequences and Statistics

Springer

£54.66 13 Jun 2026
Probability (Springer Texts in Statistics)
95% match

Probability (Springer Texts in Statistics)

Springer

£59.97 12 Jun 2026
THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (Advanced Series on Mathematical Psychology)
95% match

THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (Advanced Series on Mathematical Psychology)

World Scientific Publishing Company

£67.46 10 Jul 2026
Probability (Springer Texts in Statistics)
95% match

Probability (Springer Texts in Statistics)

Springer

£58.45 04 Jul 2026
Radically Elementary Probability Theory. (AM-117) (Annals of Mathematics Studies, 117)
95% match

Radically Elementary Probability Theory. (AM-117) (Annals of Mathematics Studies, 117)

Princeton University Press

£42.33 07 May 2026
Probability (Springer Texts in Statistics)
95% match

Probability (Springer Texts in Statistics)

Springer

£49.99 12 Jul 2026
Foundations of Modern Probability (Probability and Its Applications)
95% match

Foundations of Modern Probability (Probability and Its Applications)

Springer

£79.50 10 Jun 2026
Probability and Random Variables: Theory and Applications
95% match

Probability and Random Variables: Theory and Applications

Springer

£81.12 04 Jul 2026
The Structural Theory of Probability: New Ideas from Computer Science on the Ancient Problem of Probability Interpretation (Series in Computer Science)
95% match

The Structural Theory of Probability: New Ideas from Computer Science on the Ancient Problem of Probability Interpretation (Series in Computer Science)

Springer

£89.99 15 Jul 2026
Probabilistic Extensions of Various Logical Systems
95% match

Probabilistic Extensions of Various Logical Systems

Springer

£75.83 20 Jul 2026
Probability Theory: The Logic of Science
95% match

Probability Theory: The Logic of Science

Cambridge University Press

£75.00 11 Jul 2026
Probability Models And Applications (Revised Second Edition)
95% match

Probability Models And Applications (Revised Second Edition)

Scientific Publishing

£62.00 18 Jun 2026