Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation based probabilistic analysis approach. Some major contributions include the formalization of ...
Read More
Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation based probabilistic analysis approach. Some major contributions include the formalization of both discrete and continuous random variables and the verification of corresponding probabilistic and statistical properties. This book presents a concise description of the infrastructures behind these capabilities and their utilization to conduct the probabilistic analysis of real-world systems. The case studies of the round-off error of a digital processor, the Coupon Collector's problem and the Stop-and-Wait protocol are used to illustrate the proposed analysis approach. Designed as an independent research tool, the book presents a well-thought-out treatment of a rapidly emerging multidisciplinary field across Mathematics, Computer Science and Engineering.
Read Less
Add this copy of Probabilistic Analysis using Theorem Proving to cart. $69.23, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2008 by VDM Verlag Dr. Mueller E.K..
Add this copy of Probabilistic Analysis using Theorem Proving to cart. $72.07, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2008 by VDM Verlag Dr. Mueller E.K..
Add this copy of Probabilistic Analysis Using Theorem Proving a to cart. $73.01, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2008 by VDM Verlag Dr. Mueller E.K..
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Probabilistic Analysis Using Theorem Proving a to cart. $77.58, new condition, Sold by Paperbackshop International rated 1.0 out of 5 stars, ships from Fairford, GLOS, UNITED KINGDOM, published 2008 by VDM Verlag Dr. Mueller E.K..
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Probabilistic Analysis Using Theorem Proving: a Higher to cart. $125.62, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2008 by VDM Verlag Dr. Müller.
