Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Explore l'essentiel de blockchain, couvrant les concepts clés, les transactions Bitcoin, les contrats intelligents Ethereum, et les développements futurs.
