مارك: A Formal Executable Semantics of Orc Using the K Framework

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

LEADER	01024nam a22002417a 4500
001	0300539
040		\|a قاعدة المنظومة للرسائل الجامعية
041		\|a ara
100		\|9 410141 \|a Al Zuhaibi, Omar \|e Auth
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 http://search.mandumah.com/Record/775136 \|y المستخلص من قاعدة المنظومة للرسائل الجامعية
940		\|a تمت المناقشة
950		\|c 775136
995		\|a Thesis
999		\|c 228424 \|d 228424