نتئاج البحث عن مؤلف

عرض 1 - 3 من 3 للبحث: 'Al Turki, Musab A.', وقت الاستعلام: 0.07s

اختر الصفحة | مع الاختيارات:

1اختر هذا السجل

A REWRITING LOGIC APPROACH TO THE SEMANTICS OF ORC

بواسطة Al Turki, Musab A.

تاريخ: 2006

الدرجة العلمية: رسالة ماجستير

المصدر: قاعدة المنظومة للرسائل الجامعية

الجامعة: University of Illinois at Urbana-Champaign

الكلية: The Graduate College

الحالة: تمت المناقشة

المستخلص من قاعدة المنظومة للرسائل الجامعية

إضافة إلى سلة النتائج
حفظ في:
2اختر هذا السجل

A Formal Executable Semantics of Orc Using the K Framework

بواسطة Al Zuhaibi, Omar

تاريخ: 2016

الدرجة العلمية: رسالة ماجستير

المصدر: قاعدة المنظومة للرسائل الجامعية

الجامعة: جامعة الملك فهد للبترول والمعادن

الكلية: عمادة الدراسات العليا

الحالة: تمت المناقشة

المستخلص من قاعدة المنظومة للرسائل الجامعية

إضافة إلى سلة النتائج
حفظ في:
3اختر هذا السجل

Extending Sequence Diagrams for Better Comprehension of Program Control Flow

بواسطة Ghaleb, Taher Ahmed Mohammed

تاريخ: 2015

الدرجة العلمية: رسالة ماجستير

المصدر: قاعدة المنظومة للرسائل الجامعية

الجامعة: جامعة الملك فهد للبترول والمعادن

الكلية: عمادة الدراسات العليا

الحالة: تمت المناقشة

المستخلص من قاعدة المنظومة للرسائل الجامعية

إضافة إلى سلة النتائج
حفظ في:

اختر الصفحة | مع الاختيارات:

أدوات البحث: خلاصات