ISBN 9783639094725 books & textbook

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

VDM Verlag Dr. Müller /2008-11-07 Paperback / 164 Pages
isbn-10: 3639094727 / isbn-13: 9783639094725