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 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01541nam a22003617a 4500
001	0300539
041		\|a eng
100		\|9 410141 \|a Al Zuhaibi, Omar \|e Author
245		\|a A Formal Executable Semantics of Orc Using the K Framework
246		\|a وصف رياضى للغة أرخ بمحيط K
260		\|a الظهران \|c 2016
300		\|a 1 - 141
336		\|a رسائل جامعية
502		\|b رسالة ماجستير \|c جامعة الملك فهد للبترول والمعادن \|f عمادة الدراسات العليا \|g السعودية \|o 0768
520		\|a \\ \\
653		\|a علم الحاسب الآلى \|a أرخصطرة \|a لغة أرخ \|a الحوسبة
700		\|9 410142 \|a Al Turki, Musab A. \|e Advisor
856		\|u 9800-005-009-0768-T.pdf \|y صفحة العنوان
856		\|u 9800-005-009-0768-A.pdf \|y المستخلص
856		\|u 9800-005-009-0768-C.pdf \|y قائمة المحتويات
856		\|u 9800-005-009-0768-F.pdf \|y 24 صفحة الأولى
856		\|u 9800-005-009-0768-1.pdf \|y 1 الفصل
856		\|u 9800-005-009-0768-2.pdf \|y 2 الفصل
856		\|u 9800-005-009-0768-3.pdf \|y 3 الفصل
856		\|u 9800-005-009-0768-4.pdf \|y 4 الفصل
856		\|u 9800-005-009-0768-5.pdf \|y 5 الفصل
856		\|u 9800-005-009-0768-6.pdf \|y 6 الفصل
856		\|u 9800-005-009-0768-O.pdf \|y الخاتمة
856		\|u 9800-005-009-0768-R.pdf \|y المصادر والمراجع
856		\|u 9800-005-009-0768-S.pdf \|y الملاحق
930		\|d n
995		\|a Dissertations
999		\|c 775136 \|d 775136