ارسل ملاحظاتك

ارسل ملاحظاتك لنا







A Formal Executable Semantics of Orc Using the K Framework

العنوان بلغة أخرى: وصف رياضى للغة أرخ بمحيط K
المؤلف الرئيسي: Al Zuhaibi, Omar (Author)
مؤلفين آخرين: Al Turki, Musab A. (Advisor)
التاريخ الميلادي: 2016
موقع: الظهران
الصفحات: 1 - 141
رقم MD: 775136
نوع المحتوى: رسائل جامعية
اللغة: الإنجليزية
الدرجة العلمية: رسالة ماجستير
الجامعة: جامعة الملك فهد للبترول والمعادن
الكلية: عمادة الدراسات العليا
الدولة: السعودية
قواعد المعلومات: Dissertations
مواضيع:
رابط المحتوى:

الناشر لهذه المادة لم يسمح بإتاحتها.

صورة الغلاف QR قانون
حفظ في:
المستخلص: \ \

عناصر مشابهة