主要观点：《A Science of Concurrent Programs》一书将由剑桥大学出版社出版，其 pdf 版本的终稿已可用，同时还有包含书中许多示例的 TLA+规范及使用说明的支持材料。
关键信息：

• 最后修改时间为 2024 年 10 月 25 日。
• 书的 pdf 版本版权归 Leslie Lamport 所有，未经作者或出版社书面许可，不得用于商业目的或除个人使用之外的其他目的。
• 支持材料包含在一个 zip 文件中，解压后有一个名为 book-specs 的文件夹，其中包含多个文件和子文件夹，可阅读 README.pdf 了解使用方法。
  重要细节：
• 书的 pdf 文件链接为PDF File。
• 支持材料的 zip 文件链接为Zip File。