Bücher nach ISBN > VDM Verlag Dr. Müller > Hasan Osman

Hasan Osman

H-O. · Osman Hasan

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approach978-3-639-O9472-5
(3-639-O9472-7)		2008

Hasan Otuome