THE SYNTHESIS TABLEAU: A DEDUCTIVE FRAMEWORK FOR PROGRAM SYNTHESIS BASED ON SEQUENT CALCULUS

المؤلف الرئيسي: Maghrabi, Talal Hamza
مؤلفين آخرين: Golshani, F. (Super.)
التاريخ الميلادي: 1992
موقع: تمب
الصفحات: 1 - 189
رقم MD: 620320
نوع المحتوى: رسائل جامعية
اللغة: العربية
الدرجة العلمية رسالة دكتوراه
الجامعة Arizona State University
الكلية The Graduate School
الدولة الولايات المتحدة الأمريكية
المصدر: قاعدة المنظومة للرسائل الجامعية
الحالة تمت المناقشة
قواعد المعلومات: Thesis
رابط المحتوى:
صورة الغلاف QR قانون
حفظ في:
الوصف المادي: 1 - 189

عناصر مشابهة