Specifying Systems： The TLA+ Language and Tools for Hardware and Software Engineering（Leslie Lamport）（Addison-Wesley 2002）

  • 书名：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
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。