£173.40

This is the most expensive it has ever been. Walk away.

£173 today · previous high £173 · all-time low £121

Information Science Reference Formalized Probability Theory and Applications Using Theorem Proving

Amazon

Price History & Forecast

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

Last 89 days · 89 data points

Historical
Generating forecast…
£173.40 £115.98 £128.51 £141.04 £153.56 £166.09 £178.62 11 August 2026 02 September 2026 24 September 2026 16 October 2026 07 November 2026
View at Amazon ↗

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 89 days • 3 price levels

Days at Price
Current Price
7 days 73 days 9 days · current 0 18 37 55 73 £121 £150 £173 Days at Price

Price Analysis

Most common price: £150 (73 days, 82.0%)

Price range: £121 - £173

Price levels: 3 different prices over 89 days

Description

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 March 2015
Listed Since
05 March 2015

Barcode

No barcode data available

Similar Products You Might Like

The Theory of Probability: Explorations and Applications
98% match

The Theory of Probability: Explorations and Applications

Cambridge University Press

£92.00 10 Oct 2026
Cambridge University Press - Probability Theory: Logic of Science
98% match

Cambridge University Press - Probability Theory: Logic of Science

Cambridge University Press

£90.00 26 Sep 2026
PROBABILITY THEORY: AN ELEMENTARY COURSE
97% match

PROBABILITY THEORY: AN ELEMENTARY COURSE

Scientific Publishing

£90.00 11 Sep 2026
Probability Models And Applications (Revised Second Edition)
97% match

Probability Models And Applications (Revised Second Edition)

Scientific Publishing

£110.81 13 Sep 2026
Probability Models And Applications (Revised Second Edition)
97% match

Probability Models And Applications (Revised Second Edition)

Scientific Publishing

£65.00 06 Nov 2026
Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)
97% match

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

Springer

£83.82 12 Sep 2026
Advanced Probability Theory, Second Edition, (Probability: Pure and Applied)
97% match

Advanced Probability Theory, Second Edition, (Probability: Pure and Applied)

CRC Press

£65.73 03 Oct 2026
Probability Theory with Applications: 582 (Mathematics and Its Applications, 582)
97% match

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

Springer

£77.49 29 Aug 2026
Handbook of Probability: Theory and Applications
97% match

Handbook of Probability: Theory and Applications

Sage Publishing

£147.25 26 Aug 2026
Springer Probability - Springer Texts in Statistics Book
97% match

Springer Probability - Springer Texts in Statistics Book

Springer

£64.99 31 Oct 2026
Probability: Theory, Examples, Problems, Simulations
97% match

Probability: Theory, Examples, Problems, Simulations

World Scientific Publishing Company

£69.66 11 Sep 2026
Modern Prob Theory and Its Applications P: 38 (Wiley Classics Library)
97% match

Modern Prob Theory and Its Applications P: 38 (Wiley Classics Library)

Wiley

£191.87 04 Nov 2026
Handbook of Probability: 1 (Wiley Handbooks in Applied Statistics)
97% match

Handbook of Probability: 1 (Wiley Handbooks in Applied Statistics)

Wiley

£92.00 24 Sep 2026
Cambridge Probability Theory for Quantitative Scientists Book
97% match

Cambridge Probability Theory for Quantitative Scientists Book

Cambridge University Press

£44.39 31 Oct 2026
Essentials of Probability Theory for Statisticians (Chapman & Hall/CRC Texts in Statistical Science)
97% match

Essentials of Probability Theory for Statisticians (Chapman & Hall/CRC Texts in Statistical Science)

CRC Press

£95.72 26 Sep 2026
Fundamental Probability: A Computational Approach
97% match

Fundamental Probability: A Computational Approach

Wiley

£73.29 05 Oct 2026
Probability Through Problems (Problem Books in Mathematics)
97% match

Probability Through Problems (Problem Books in Mathematics)

Springer

£124.93 07 Oct 2026
Problems and Snapshots from the World of Probability
97% match

Problems and Snapshots from the World of Probability

Springer

£48.81 04 Sep 2026
Wiley An Introduction to Probability Theory Volume 2 - 81
97% match

Wiley An Introduction to Probability Theory Volume 2 - 81

Wiley

£203.85 26 Sep 2026
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
97% match

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

VDM Verlag

£56.44 04 Oct 2026
Analysis and Probability (Elsevier Insights)
97% match

Analysis and Probability (Elsevier Insights)

Elsevier

£90.99 10 Sep 2026
THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (ADVANCED SERIES ON MATHEMATICAL PSYCHOLOGY)
97% match

THEORIES OF PROBABILITY: AN EXAMINATION OF LOGICAL AND QUALITATIVE FOUNDATIONS: 2 (ADVANCED SERIES ON MATHEMATICAL PSYCHOLOGY)

World Scientific Publishing Company

£68.04 24 Sep 2026
Wiley An Introduction to Probability Theory and Its Applications
97% match

Wiley An Introduction to Probability Theory and Its Applications

Wiley

£123.17 17 Oct 2026
Cambridge University Press - An Introduction to Probability Theory
97% match

Cambridge University Press - An Introduction to Probability Theory

Cambridge University Press

£48.00 26 Sep 2026