حول هذا المنتج
ملخص الكتاب يمثل هذا الكتاب أعمال الندوة الأوروبية السابعة حول البرمجة، ESOP'98، وهي ندوة محكمة عُقدت كجزء من المؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات، ETAPS'98، في لشبونة، البرتغال، في مارس/أبريل 1998. يقدم هذا المجلد 17 ورقة بحثية كاملة ومنقحة تم اختيارها من إجمالي 59 بحثاً مقدماً؛ كما تتضمن أيضاً ورقة بحثية واحدة مدعوة. ومن بين القضايا التي يتناولها الكتاب: مواصفات البرمجيات والتحقق منها، ونماذج البرمجة، والدلالات للتطوير والتنفيذ الرسمي، وتحليل البرامج، وتحويل البرامج، وغيرها.
- المميزات
- يُمثل هذا الكتاب وقائع الندوة الأوروبية السابعة حول البرمجة، ESOP'98، التي عُقدت كجزء من المؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات، ETAPS'98، في لشبونة، البرتغال، في مارس/أبريل 1998.
- المؤلف (المؤلفون): Chris Hankin
- 289 صفحة
- الحواسيب، وتطوير البرمجيات والهندسة
- اسم السلسلة: Lecture Notes in Computer Science
المواصفات
- الأبعاد (الإجمالية)
9.21 بوصة (ارتفاع) × 6.14 بوصة (عرض) × .63 بوصة (عمق)
- الوزن
.93 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
289
- الفئة
أجهزة الكمبيوتر
- الفئة الفرعية
تطوير وهندسة البرمجيات
- عنوان السلسلة
Lecture Notes in Computer Science
- الناشر
Springer
- الموضوع
عام
- التنسيق
غلاف ورقي
- المؤلف
Chris Hankin
- اللغة
الإنجليزية
صور المنتجات هي لأغراض توضيحية فقط وهي صور نموذجية. قد تختلف الألوان أو النقوش أو المواصفات أو الأبعاد أو المقاسات أو الوظائف أو أي خصائص أخرى للمنتج الفعلي عن الواقع بسبب خصائص العرض، لذا يرجى الرجوع إلى تفاصيل المنتج المذكورة في الوصف.