Пошук
Книги
Ще
▼
Полиці
Активувати код
7 днів безкоштовно
Увійти
uk
en
Безкоштовно
Epicenter Media Ltd.
#238 Amrit Kumar & Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language
Слухати в додатку
Враження
На полицю
Уже слухав
Поділитися
Facebook
Twitter
Копіювати посилання
Про книжку
У цій серії
85
Epicenter Media Ltd.
#239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages
en
Безкоштовно
86
Epicenter Media Ltd.
#240 Pamela Morgan: Cryptoasset Inheritance Planning
en
Безкоштовно
87
Epicenter Media Ltd.
#241 Eric Larchevêque: Ledger – How to Build an Industry-Leading Cryptocurrency Security Company
1
en
Безкоштовно
88
Epicenter Media Ltd.
#242 Neha Narula: MIT’s Digital Currency Initiative – A Research-Driven Approach to Blockchain
en
Безкоштовно
89
Epicenter Media Ltd.
#243 Evan Shapiro & Izaak Meckler: Coda – A Succinct Blockchain
en
Безкоштовно
90
Epicenter Media Ltd.
#244 Anthony Lusardi: Ethereum Classic Cooperative – Accelerating the Growth of ETC
en
Безкоштовно
91
Epicenter Media Ltd.
#245 Martin Becze: Primea – The Next-Generation Blockchain Operating System
en
Безкоштовно
92
Epicenter Media Ltd.
#246 Guy Zyskind: Enigma – Providing Scalable Privacy-Preservation to Smart Contacts
en
Безкоштовно
93
Epicenter Media Ltd.
#247 Ryan Selkis: Messari – Bringing Transparency and Self-Regulation to the Blockchain Industry
en
Безкоштовно
fb2
epub
Перетягніть файли сюди, не більш ніж 5 за один раз