Order Total (1 Item Items):
Shipping Destination:
Probabilistic Analysis Using Theorem by Hasan Osman (8 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (8)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (1)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (8)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (4)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
Condition: New.
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Language: English
Published by VDM Verlag Dr. M�ller 2008-11-07, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
US$ 71.80
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Probabilistic Analysis using Theorem Proving | A Higher-order Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2013
ISBN 10: 3639094727 ISBN 13: 9783639094725
Taschenbuch. Condition: Neu. Probabilistic Analysis using Theorem Proving | A Higher-order Logic Based Approach | Osman Hasan | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783639094725 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
-
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
US$ 155.83
US$ 33.47 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
Probabilistic Analysis using Theorem Proving A Higherorder Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Probabilistic Analysis using Theorem Proving A Higherorder Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.22
US$ 5.57 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Probabilistic Analysis using Theorem Proving
Language: English
Published by VDM Verlag Dr. Müller, 2013
ISBN 10: 3639094727 ISBN 13: 9783639094725
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 signifi.
-
Probabilistic Analysis using Theorem Proving : A Higher-order Logic Based Approach
Language: English
Published by VDM Verlag Dr. Müller, 2008
ISBN 10: 3639094727 ISBN 13: 9783639094725
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
