Foundations of Quantitative Techniques