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

Hasan, Osman

ISBN 10: 3639094727 ISBN 13: 9783639094725
Published by VDM Verlag Dr. Müller, 2008
Language: English
Used Condition: Like New Soft cover

From Mispah books, Redhill, SURRE, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

AbeBooks Seller since April 15, 2021

View this seller's items


Used - Soft cover

Price: US$ 158.06 Convert Currency
US$ 33.95 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket