وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد
/ حامد ذقاقي
وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد
المؤلف
/ حامد ذقاقيطبع 1
قائمة
شناسنامه
المدخل الرئيسي
ذقاقي، حامد، نویسندهالعنوان واسم المؤلف
وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد / / حامد ذقاقيالمواصفات الشكلية
64 ص.؛ : نمودار، جدول.الموضوع
منطق زمان؛درستي آزمايي؛بازي هاي برخط حجيم؛ عامل هاي درستي آزما؛ سيستم هاي مبتني بر عامل؛ درستي ازمايي توزيع شدهتصديق برنامه هاي رايانه اي
Verification of computer programs
بازي هاي رايانهاي
Computer games
بازيكنان
Players
منطق زماني
Temporal logic
ماشين هاي خودكار
Automata
اللغة
فارسی