Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach
Hasan, Osman
From Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since April 15, 2021
Used - Soft cover
Quantity: 1 available
Add to basket