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

£56.44

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

Name: Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Brand: VDM Verlag
Price: 57.81 GBP
Availability: InStock

Computing & Internet

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £58 (88 days, 98.9%)

Price range: £56 - £58

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

Brand: VDM Verlag
Format: paperback
ASIN: 3639094727
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Publication Date: 07 November 2008
Listed Since: 17 November 2008

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

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)

Probability and Random Processes for Electrical and Computer Engineers

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

Lectures on the Combinatorics of Free Probability: 335 (London Mathematical Society Lecture Note Series, Series Number 335)

Séminaire de Probabilités LI: 2301 (Lecture Notes in Mathematics, 2301)

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (Cambridge Studies in Probability, Induction and Decision Theory)

The Theory of Probability: Explorations and Applications

Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (Cambridge Studies in Probability, Induction and Decision Theory)

Probabilistic Extensions of Various Logical Systems

The Probability Lifesaver – All the Tools You Need to Understand Chance (Princeton Lifesaver Study Guides)

Interpretations of Probability

An Introduction to Probability and Statistical Inference

The Pleasures of Probability (Undergraduate Texts in Mathematics)

Applied Probability: From Random Experiments to Random Sequences and Statistics

A History of the Mathematical Theory of Probability: From the Time of Pascal to that of Laplace (Cambridge Library Collection - Mathematics)

Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer and Information Science Series)

Prokhorov and Contemporary Probability Theory: In Honor of Yuri V. Prokhorov: 33 (Springer Proceedings in Mathematics & Statistics, 33)

Symmetry and its Discontents: Essays on the History of Inductive Probability (Cambridge Studies in Probability, Induction and Decision Theory)

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

Probability and Information: An Integrated Approach

On the Estimation of Multiple Random Integrals and U-Statistics: 2079 (Lecture Notes in Mathematics, 2079)

Probability and Random Processes for Electrical and Computer Engineers

Elementary Probability