£56.44

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

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

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

Historical
Generating forecast...
£57.81 £56.30 £56.63 £56.96 £57.29 £57.62 £57.95 14 March 2026 23 March 2026 02 April 2026 12 April 2026 22 April 2026

Price Distribution

Price distribution over 40 days • 2 price levels

Days at Price
Current Price
1 day · current 39 days 0 10 20 29 39 £56 £58 Days at Price

Price Analysis

Most common price: £58 (39 days, 97.5%)

Price range: £56 - £58

Price levels: 2 different prices over 40 days

Description

Traditionally, computer simulation techniques areused to perform probabilistic analysis. However, theyprovide less accurate results and cannot handlelarge-scale problems due to their enormous CPU timerequirements. Recently, a significant amount offormalization has been done in higher-order logicthat allows us to conduct precise probabilisticanalysis using theorem proving and thus overcome thelimitations of the simulation based probabilisticanalysis approach. Some major contributions includethe formalization of both discrete and continuousrandom variables and the verification of corresponding probabilistic and statisticalproperties. This book presents a concise descriptionof the infrastructures behind these capabilities andtheir utilization to conduct the probabilisticanalysis of real-world systems. The case studies ofthe round-off error of a digital processor, theCoupon Collector''s problem and the Stop-and-Waitprotocol are used to illustrate the proposed analysisapproach. Designed as an independent research tool, the bookpresents a well-thought-out treatment of a rapidlyemerging multidisciplinary field across Mathematics,Computer Science and Engineering.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
07 November 2008
Listed Since
17 November 2008

Barcode

No barcode data available

Similar Products You Might Like

Formalized Probability Theory and Applications Using Theorem Proving
97% match

Formalized Probability Theory and Applications Using Theorem Proving

Information Science Reference

£150.34 24 Jan 2026
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
97% match

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Springer

£91.63 17 Mar 2026
THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (Advanced Series on Mathematical Psychology)
96% match

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

World Scientific Publishing Company

£67.30 10 Mar 2026
Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)
96% match

Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)

Springer

£87.97 24 Feb 2026
Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)
96% match

Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)

Springer

£77.03 04 Feb 2026
Problems and Snapshots from the World of Probability
96% match

Problems and Snapshots from the World of Probability

Springer

£44.89 09 Feb 2026
Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference
96% match

Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference

North Holland

£43.99 23 Feb 2026
Discrete Probability Models and Methods: Probability on Graphs and Trees, Markov Chains and Random Fields, Entropy and Coding: 78 (Probability Theory and Stochastic Modelling, 78)
96% match

Discrete Probability Models and Methods: Probability on Graphs and Trees, Markov Chains and Random Fields, Entropy and Coding: 78 (Probability Theory and Stochastic Modelling, 78)

Springer

£76.10 07 Mar 2026
Discrete Probability Models and Methods: Probability on Graphs and Trees, Markov Chains and Random Fields, Entropy and Coding: 78 (Probability Theory and Stochastic Modelling, 78)
96% match

Discrete Probability Models and Methods: Probability on Graphs and Trees, Markov Chains and Random Fields, Entropy and Coding: 78 (Probability Theory and Stochastic Modelling, 78)

Springer

£58.94 24 Feb 2026
Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
96% match

Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

North Holland

£43.99 22 Feb 2026
Probability Theory: An Elementary Course
96% match

Probability Theory: An Elementary Course

Scientific Publishing

£90.00 21 Feb 2026
Exercises in Probability: A Guided Tour From Measure Theory To Random Processes, Via Conditioning: 35 (Cambridge Series in Statistical and Probabilistic Mathematics, Series Number 35)
96% match

Exercises in Probability: A Guided Tour From Measure Theory To Random Processes, Via Conditioning: 35 (Cambridge Series in Statistical and Probabilistic Mathematics, Series Number 35)

Cambridge University Press

£52.39 28 Apr 2026
Probability Theory: The Logic of Science
96% match

Probability Theory: The Logic of Science

Cambridge University Press

£97.87 18 Mar 2026
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
96% match

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Springer

£91.63 07 Mar 2026
Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
96% match

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

Springer

£109.98 31 Jan 2026
Analysis and Probability (Elsevier Insights)
96% match

Analysis and Probability (Elsevier Insights)

Elsevier

£90.19 20 Feb 2026
Discrete Probability (Undergraduate Texts in Mathematics)
96% match

Discrete Probability (Undergraduate Texts in Mathematics)

Springer

£45.68 27 Apr 2026
Probabilistic Extensions of Various Logical Systems
96% match

Probabilistic Extensions of Various Logical Systems

Springer

£76.38 28 Apr 2026
The Theory of Probability: Explorations and Applications
96% match

The Theory of Probability: Explorations and Applications

Cambridge University Press

£80.19 02 May 2026
Handbook of Probability: Theory and Applications
96% match

Handbook of Probability: Theory and Applications

Sage Publications

£125.24 30 Jan 2026
Probability for Information Technology
96% match

Probability for Information Technology

Springer

£56.84 08 Mar 2026
Probability and Random Processes for Electrical and Computer Engineers
96% match

Probability and Random Processes for Electrical and Computer Engineers

Cambridge University Press

£70.89 24 Apr 2026
Routledge Philosophy of Probability: Contemporary Readings
96% match

Routledge Philosophy of Probability: Contemporary Readings

Routledge

£146.10 21 Apr 2026
Introduction to Probability for Computing
96% match

Introduction to Probability for Computing

£49.99 10 Jan 2026