درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
حسن فرهیخته
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+
Author
حسن فرهیختهEdition 1
list
شناسنامه
Main Entry
فرهیخته، حسن، نویسندهTitle and Author
درستی یابی پروتکلهای اجماع در زنجیره بلوکی با TLA+ / حسن فرهیختهPhysical Description
[17]، 94ص.؛ جدول،نمودار،شکل.Subject
الگوریتم اجماعزنجیره بلوکی
توصیف رسمی
TLA+
Language
فارسی