درستیسنجی صوری قراردادهای هوشمند هایپرلجر فابریک
المیرا ابراهیمی
درستیسنجی صوری قراردادهای هوشمند هایپرلجر فابریک
نویسنده
المیرا ابراهیمینسخه 1
فهرست
شناسنامه
سرشناسه
ابراهیمی، المیرا، نویسندهعنوان و نام پدیدآور
درستیسنجی صوری قراردادهای هوشمند هایپرلجر فابریک / المیرا ابراهیمیمشخصات ظاهری
ر،119ص.؛ جدول، نمودار، تصویر.موضوع
بلاکچین خصوصیهایپرلجر فابریک
قرارداد هوشمند
آسیبپذیری قرارداد
صحت نرمافزار
درستیسنجی صوری
وارسی مدل
زبان
فارسی