Envios by bokige

(Springer Texts in Statistics) J. H. C. Creighton (Auth.) - A First Course in Probability Models and Statistical Inference-Springer-Verlag New York (1994)

(Advances in Formal Methods 4) Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.) - Computer-Aided Reasoning_ ACL2 Case Studies