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
مواضيع:	علم الحاسب الآلى \| أرخصطرة \| لغة أرخ \| الحوسبة
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

المستخلص:	\ \