Practical TLA+ 免积分下载

图书说明：

在编写单行代码之前，了解如何设计复杂，正确的程序并修复问题。本书是关于TLA +编程的实用，全面的资源，包含丰富而复杂的示例。实用TLA +向您展示如何使用TLA +指定复杂系统并测试设计本身是否存在错误。
您将了解即使是简短的TLA +规范也能找到关键错误。首先介绍一下银行转帐系统中使用的TLA +示例，了解它如何帮助您设计，测试和构建更好的应用程序。然后，获得TLA +运算符，逻辑，函数，PlusCal，模型和并发的一些基础知识。在此过程中，您将了解如何组织蓝图以及如何指定分布式系统和最终一致性。
最后，您将通过一些工作案例研究应用程序将您学到的知识付诸实践，将TLA +应用于各种实际问题：从算法性能和数据结构到业务代码和MapReduce。阅读并使用本书后，您将拥有开始使用TLA +所需的知识以及如何在任务关键型应用程序中使用它。
你将学到什么
读写TLA +规范
检查破坏的不变量，竞争条件和活跃性错误的规格
设计并发和分布式系统
了解TLA +如何帮助您进行日常生产工作
本书适用于谁
那些有新的设计和TLA +编程经验的人

下载地址：Practical TLA+

更多免积分电子书，请访问：IE布克斯网