TLA+ for programer

这是一本写给有一定经验的开发者的书，阅读它不需要高深的数学知识，只需要集合、布尔逻辑的数学基础就能够设计分布式算法。TLA+ 是一门描述状态转移的数学语言，TLA+ 让你可以轻而易举搞懂行业巨头们的核心算法。希望阅读后能让你意识到自然语言在描述分布式算法时的臃肿无力以及体会到 TLA+ 的精妙优雅。