Eric Madelaine

الكتب
Formal Aspects of Component Software Formal Aspects of Component Software
Formal Aspects of Component Software
٢٠١٥
Formal Methods for Components and Objects Formal Methods for Components and Objects
Formal Methods for Components and Objects
٢٠٠٩