用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用 图灵奖得主、TLA+开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证参考
图灵奖得主、TLA 开发者、微软研究院首席研究员Leslie Lamport亲笔撰写,揭开并发和分布式计算的神秘面纱,系统架构形式化验证***参考 随着时代的发展,人们对各种信息系统的依赖越来越强,而这些系统也不再像传统系统那样封闭,它们面临的挑战和威胁与日俱增。为此,对于所谓的 非关键 信息系统而言,通过形式化技术提高设计质量、保证安全性与可靠性的需求也变得越来越迫切。 TLA 就是一种非常优秀的形式化建模语言。它的优点首先在于通用性,它可以描述大多数离散事件系统的行为逻辑;其次,它的难度适中,仅涉及CS专业大学本科阶段的数学和计算机科学知识,能够被广大开发与设计人员所掌握;后,由于TLA 的开发者(同时也是本书作者)的精心设计,它在验证高并发、分布式等复杂逻辑方面具有独特的优势。 本书用形式化的建模和验证方法保证所
¥69.50定价:¥139.00 (5折)
预订 Latex: A Document Preparation System [ISBN:9780201529838] 【全球购】进口原版图书,约5-8周到达国内后发出
¥464.00
预订 Specifying Systems: The Tla+ Language and Tools for Hardw 【全球购】进口原版图书,约5-8周到达国内后发出
¥514.00
¥75.06定价:¥139.00 (5.4折)
¥77.70定价:¥139.00 (5.59折)
明星店铺 博库网旗舰店
¥75.06定价:¥139.00 (5.4折)
¥97.65定价:¥139.00 (7.03折)
¥76.34定价:¥139.00 (5.5折)
¥75.54定价:¥139.00 (5.44折)
明星店铺 木垛图书专营店
¥97.65定价:¥139.00 (7.03折)
¥75.06定价:¥139.00 (5.4折)
¥77.10定价:¥139.00 (5.55折)