Implementation of Refining Statements in OpenJML and Verific
00905348600896 [email protected]
تواصل معنا الأسئلة الشائعة
English
الرئيسية / مكتبة المنارة للإستشارات / تكنولوجيا المعلومات
علم الحاسوب

Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications رسالة ماجستير

Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications رسالة ماجستير
تكنولوجيا المعلومات / رسائل الماجستير والدكتوراه (ملفات PDF) 07/9/2020 12:56
نقدم لكم ملف PDF كامل بعنوان Implementation of Refining Statements in OpenJML and Verification of Higher Order Methods with Model Program Specifications رسالة ماجستير وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي علم الحاسوب يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).

لا يمكن قراءة الملف، أو يتعذر فتح العرض التقديمي



اضغط هنا ليتم تحميل الملف



تحميل الملف




البحث في المكتبة
تصنيفات المكتبة
التجارة (15336) المحاسبة (48178) العلوم النفسية (6751) الاقتصاد والعلوم السياسية (6714) تخصصات الآداب (6511) تخصصات العلوم (2403) الهندسة (24243) الدراسات الإسلامية (6508) تخصصات الإدارة (9472) القانون (4481) الطب والعلوم الصحية (25866) تخصصات متنوعة (4642) التربية (14261) تخصصات الصحافة والإعلام (2024) التمريض (3682) تكنولوجيا المعلومات (35065)