نقدم لكم ملف PDF كامل بعنوان Modular verification of higher-order methods with mandatory calls specified by model programs رسالة ماجستير وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).