Bücher nach ISBN > LAP LAMBERT Academic Publishing > Sa'ed Abed

Sa'ed Abed

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
The Verification of MDG Algorithms in the HOL Theorem Prover978-3-8383-1738-O
(3-8383-1738-6)		2009Sa'ed Abed

E.A. · s. a. · S. E. · S. (ed.)

Sa'ed M. Salhieh