£39.06

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

Refer to Sapnet.

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

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

Historical
Generating forecast...
£45.99 £38.37 £40.03 £41.69 £43.36 £45.02 £46.68 10 April 2026 23 April 2026 06 May 2026 19 May 2026 01 June 2026

Price Distribution

Price distribution over 53 days • 3 price levels

Days at Price
Current Price
13 days · current 36 days 4 days 0 9 18 27 36 £39 £40 £46 Days at Price

Price Analysis

Most common price: £40 (36 days, 67.9%)

Price range: £39 - £46

Price levels: 3 different prices over 53 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
hardcover
Domain
Amazon UK
Release Date
19 November 2004
Listed Since
22 January 2007

Barcode

No barcode data available

Similar Products You Might Like

Algebraic Approaches to Program Semantics (Monographs in Computer Science)
83% match

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Springer

£64.54 26 May 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
83% match

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Springer

£73.10 28 May 2026
Abductive Inference Models for Diagnostic Problem-Solving (Symbolic Computation)
82% match

Abductive Inference Models for Diagnostic Problem-Solving (Symbolic Computation)

Springer

£77.31 02 Jun 2026
Expert Systems and Probabilistic Network Models (Monographs in Computer Science)
81% match

Expert Systems and Probabilistic Network Models (Monographs in Computer Science)

Springer

£89.12 25 May 2026
Probabilistic and Statistical Methods in Computer Science
81% match

Probabilistic and Statistical Methods in Computer Science

Springer

£73.03 25 May 2026
Probabilistic Modelling
81% match

Probabilistic Modelling

Cambridge University Press

£27.32 17 May 2026
Point Process Models with Applications to Safety and Reliability
80% match

Point Process Models with Applications to Safety and Reliability

Springer

£39.87 24 May 2026
Abstract State Machines: A Method for High-Level System Design and Analysis
80% match

Abstract State Machines: A Method for High-Level System Design and Analysis

Springer

£39.73 21 Jun 2026
Open Problems in Mathematics and Computational Science
80% match

Open Problems in Mathematics and Computational Science

Springer

£40.52 16 May 2026
Systematic Program Design: From Clarity to Efficiency
80% match

Systematic Program Design: From Clarity to Efficiency

Cambridge University Press

£10.09 19 Jun 2026
Refinement in Z and Object-Z: Foundations and Advanced Applications
80% match

Refinement in Z and Object-Z: Foundations and Advanced Applications

Springer

£77.33 05 Jun 2026
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)
80% match

Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£107.98 05 Jun 2026
Randomized Algorithms for Analysis and Control of Uncertain Systems: With Applications (Communications and Control Engineering)
80% match

Randomized Algorithms for Analysis and Control of Uncertain Systems: With Applications (Communications and Control Engineering)

Springer

£107.98 02 Jun 2026
Multiprocessor Execution of Logic Programs
80% match

Multiprocessor Execution of Logic Programs

Springer

£107.98 27 May 2026
Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
80% match

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Springer

£93.13 05 Jun 2026
Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)
80% match

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)

Springer

£80.77 31 May 2026
Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference
79% match

Probabilistic Logic Networks: A Comprehensive Framework for Uncertain Inference

Springer

£108.91 01 Jun 2026
A One-Semester Course on Probability (Springer Undergraduate Mathematics Series)
79% match

A One-Semester Course on Probability (Springer Undergraduate Mathematics Series)

Springer

£39.30 16 May 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
79% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£106.20 31 May 2026
Specification and Verification of Multi-agent Systems
79% match

Specification and Verification of Multi-agent Systems

Springer

£107.98 25 May 2026
Probability: Modeling and Applications to Random Processes
79% match

Probability: Modeling and Applications to Random Processes

Wiley

£157.99 19 May 2026
Reverse Engineering of Object Oriented Code (Monographs in Computer Science)
79% match

Reverse Engineering of Object Oriented Code (Monographs in Computer Science)

Springer

£75.68 26 May 2026
Simulation Methods for Reliability and Availability of Complex Systems (Springer Series in Reliability Engineering)
79% match

Simulation Methods for Reliability and Availability of Complex Systems (Springer Series in Reliability Engineering)

Springer

£107.98 24 May 2026
Super-Recursive Algorithms (Monographs in Computer Science)
79% match

Super-Recursive Algorithms (Monographs in Computer Science)

Springer

£75.10 30 May 2026