وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد
/ حامد ذقاقي
وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد
Author
/ حامد ذقاقيEdition 1
list
شناسنامه
Main Entry
ذقاقي، حامد، نویسندهTitle and Author
وارسي زمان اجراي توزيع شده و پياده سازي آن بر روي يك بازي بر خط با بازيكنان بسيار زياد / / حامد ذقاقيPhysical Description
64 ص.؛ : نمودار، جدول.Subject
منطق زمان؛درستي آزمايي؛بازي هاي برخط حجيم؛ عامل هاي درستي آزما؛ سيستم هاي مبتني بر عامل؛ درستي ازمايي توزيع شدهتصديق برنامه هاي رايانه اي
Verification of computer programs
بازي هاي رايانهاي
Computer games
بازيكنان
Players
منطق زماني
Temporal logic
ماشين هاي خودكار
Automata
Language
فارسی