£185.00
Formalized Probability Theory and Applications Using Theorem Proving
You may also like
Principles of Formal Quantitative Analysis
£64.99
Probability and Inductive Logic
£18.00
Principles of Verification: Cycling the Probabilistic Landscape
£59.99
Principles of Verification: Cycling the Probabilistic Landscape
£64.99
Program Proofs
£63.00
Theory of Probability
£92.00
Probability and Statistics for Computer Scientists
£125.00
Probability with R
£94.95
Statistical Inference
£170.00
Foundations of Constructive Probability Theory
£140.00
Probability and Computing
£52.00
Probability
£49.00