书名：Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering
出版社：Addison-Wesley
作者：Leslie Lamport
出版年份：2002
电子书格式： pdf
简介：《Specifying Systems》是Leslie Lamport的经典著作，详细介绍了TLA+语言及其在硬件和软件工程中的应用。书中涵盖了系统设计与验证的理论基础和实际操作方法，帮助工程师和研究人员通过形式化方法提升系统的正确性和可靠性。此书由Addison-Wesley于2002年出版，提供了深入的TLA+工具使用指南，是系统设计与验证领域的必读书籍。
ISBN：9780321143068, 03211