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