Probabilistic Analysis using Theorem Proving

Osman Hasan author Sofiene Tahar author

Format:Paperback

Publisher:VDM Verlag Dr. Mueller E.K.

Published:6th Nov '08

Currently unavailable, and unfortunately no date known when it will be back

Probabilistic Analysis using Theorem Proving cover

This paperback, "Probabilistic Analysis using Theorem Proving" from Osman Hasan & Sofiene Tahar, was published 6th November 2008 by VDM Verlag Dr. Mueller E.K..

ISBN: 9783639094725

Dimensions: 229mm x 152mm x 9mm

Weight: 227g

164 pages