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
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