درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
حسن فرهیخته
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
نویسنده
حسن فرهیختهنسخه 1
فهرست
شناسنامه
سرشناسه
فرهیخته، حسن، نویسندهعنوان و نام پدیدآور
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+ / حسن فرهیختهمشخصات ظاهری
[17]، 94ص.؛ جدول،نمودار،شکل.موضوع
الگوریتم اجماعزنجیره بلوکی
توصیف رسمی
TLA+
زبان
فارسی