扫一扫
关注中图网
官方微博
>
关于“(美)莱斯利·兰伯特”检索到 共1种现货商品
-
用TLA+定义系统 TLA+语言与工具在软硬件设计中的应用
¥101.5(7.3折)定价:¥139.0本书系统介绍了形式化建模语言TLA+以及模型检查工具TLC，并结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。本书分为五个部分。部分包含大多数程序员和工程师需要了解的有关编写系统规约（即建立模型）的所有信息；第二部分包含更不错的示例与材料，供需要进阶的读者使用；第三部分和第四部分为TLA+的参考手册，包括语言本身的数学定义及工具的原理与使用；第五部分介绍在基础TLA
五星书
浏览历史
-
6-9岁-小狐狸买手套-你长大之前必读的66本书-第一辑
¥16.9¥22.0
