Spécification, preuve et extraction automatique des programmes en cop : cas l'algorithme HEB + réduction

Mohamed Mezghiche , Chaabani Mohamed

كلية العلوم-جامعة أمحمد بوقرة - بومرداس · الجزائر

الموضوعات

علوم تطبيقية وتكنولوجية

روابط وملفات

الوثيقة في المستودع الخارجي عرض في AskZad

التعريف والنوع

رقم الوثيقة: f1d2eda9-72d5-4f3e-a9d9-b6e3bb043bd9
رقم العقد: 0
نوع الوسائط: Crawler
نوع المحتوى: الرسائل العلمية
صيغة المصدر: رسائل ماجيستير
نوع الملف: Pdf/Text
أسماء الملفات: 334144_1.pdf

بيانات النشر

ألقاب المؤلفين: [{"name_ar":" Mohamed Mezghiche ","title_ar":"اشراف","title_en":"Supervision"},{"name_ar":"Chaabani Mohamed","title_ar":"اعداد","title_en":"Preparation"}]
اللغة: French

المصدر والدورية

اسم المصدر: Spécification, preuve et extraction automatique des programmes en cop : cas l'algorithme HEB + réduction

المحتوى والصفحات

عدد الصفحات: 82
كلمات الباحثين

إشراف وإعداد

الإشراف: Mohamed Mezghiche
الإعداد: Chaabani Mohamed

الاقتباسات الببليوغرافية

APA

Mohamed Mezghiche و Chaabani Mohamed. (2003). Spécification, preuve et extraction automatique des programmes en cop : cas l'algorithme HEB + réduction. أطروحة(رسائل ماجيستير). كلية العلوم-جامعة أمحمد بوقرة - بومرداس. الجزائر.

MLA

Mohamed Mezghiche و Chaabani Mohamed. Spécification, preuve et extraction automatique des programmes en cop : cas l'algorithme HEB + réduction. 2003. كلية العلوم-جامعة أمحمد بوقرة - بومرداس، رسائل ماجيستير.