درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
حسن فرهیخته
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
المؤلف
حسن فرهیختهطبع 1
قائمة
شناسنامه
المدخل الرئيسي
فرهیخته، حسن، نویسندهالعنوان واسم المؤلف
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+ / حسن فرهیختهالمواصفات الشكلية
[17]، 94ص.؛ جدول،نمودار،شکل.الموضوع
الگوریتم اجماعزنجیره بلوکی
توصیف رسمی
TLA+
اللغة
فارسی