Distributed Computing from First Principles: Ch07 Practical Formal Verification of Distributed Systems

The audio overview of ⁠the book⁠ "Distributed Computing from First Principles" by Kenneth Emeka Odoh.

정보