Probabilistic Analysis using Theorem Proving
Osman Hasan author Sofiène 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

This paperback, "Probabilistic Analysis using Theorem Proving" from Osman Hasan & Sofiène 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