عرض 1 - 1 من 1 للبحث: 'محمد، هبه ممدوح مختار', وقت الاستعلام: 0.05s

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

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

العنوان بلغة أخرى:	Hoare Logic and its Role in Computer Programs
المؤلف:	محمد، هبه ممدوح مختار
المصدر:	مجلة بحوث , مج4, ع5
الناشر:	جامعة عين شمس - كلية البنات للآداب والعلوم والتربية
تاريخ:	2024
نوع المحتوى:	بحوث ومقالات
الصفحات:	163 - 197
المستخلص:	يُعد تصميم وتطوير أنظمة عالية الجودة تلبي متطلباتها أمرًا في غاية الأهمية؛ خاصة مع التعقيد المتزايد باستمرار لأنظمة الحاسوب، فمن الممكن أن يتسبَّب فشل النظام في مهمته أو سلامته إلى... المستخلص الكامل
PDF (صورة)

1

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

أدوات البحث: خلاصات أرسل نتيجة البحث بالإيميل