إصدار عن عالم تكنولوجيا المعلومات المتقدمة لرأفت الشرمان

تم نشره في الأربعاء 4 كانون الثاني / يناير 2012. 03:00 صباحاً

الزرقاء- الغد- صدر حديثا عن دار نشر LAP الألمانية كتاب عن عالم الإلكترونيات في ظل البيئات المتحركة للدكتور رأفت الشرمان أستاذ علم الحاسوب وتكنولوجيا المعلومات في جامعة الزرقاء. ويقع الكتاب في 204 صفحات من القطع الكبيرة ويتحدث هذا الكتاب عن التحقق من صحة العمليات الإلكترونية التي تتم في البيئات المتحركة عبر شبكات الاتصال اللاسلكية باستخدام المنطق الرياضي المؤقت.
 ويقدم الكتاب تصورا وطرقا للتأكد من صحة البروتوكولات المصممة للتعامل مع مثل هذه البيئات عندما يكون عدد المستخدمين لهذه الأنظمة غير محدود أو غير منته.
يذكر ان الدكتور رأفت الشرمان أستاذ مساعد في قسم علم الحاسوب في جامعة الزرقاء.

التعليق