حول هذا المنتج
ملخص الكتاب يحتوي هذا المجلد على النصوص الخلفية لندوة IFIP حول أحدث التقنيات في تطوير البرامج الرسمية، والتي عُقدت في أوائل عام 1992 بالقرب من ريو دي جانيرو، البرازيل. ينبثق هذا الكتاب من العمل الذي قامت به مجموعة عمل IFIP 2.1 المعنية باللغات الخوارزمية والحسابات. ومنذ عام 1975، ركزت مجموعة العمل بشكل متزايد على المناهج المنهجية للبرمجة وعلى المفاهيم والرموز المناسبة لدعم هذه المناهج. واليوم، يشكل حساب البرامج من المواصفات الموضوع الرئيسي لعمل المجموعة. وبناءً على ذلك، تتمثل الاهتمامات الجوهرية للمجموعة في: - التوصيف الرسمي للحلول الخاصة بالمشكلات، و - التطوير/الحساب الرسمي للبرامج بناءً على تلك التوصيفات.
- المميزات
- يحتوي هذا المجلد على النصوص الخلفية لندوة IFIP حول أحدث التطورات في مجال تطوير البرامج الرسمية، والتي عُقدت في أوائل عام 1992 بالقرب من ريو دي جانيرو، البرازيل.
- المؤلف (المؤلفون): Bernhard Möller & Helmut Partsch & Steve Schuman
- 375 صفحة
- الحواسيب، البرمجة
المواصفات
- الأبعاد (الإجمالية)
9.21 بوصة (ارتفاع) × 6.14 بوصة (عرض) × .81 بوصة (عمق)
- الوزن
1.21 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
375
- النوع
أجهزة الكمبيوتر
- النوع الفرعي
البرمجة
- الناشر
Springer
- الموضوع
عام
- التنسيق
غلاف ورقي
- المؤلف
Bernhard Möller & Helmut Partsch & Steve Schuman
- اللغة
الإنجليزية