幫助中心
|
我的帳號
|
關於我們
全文搜索
商品名
作者
出版社
ISBN
高級搜索
首頁
本周新書
本月新書
熱點銷售
暢銷排行
每週排行
每月排行
最近浏覽的商品
當下的力量--找回每時每刻的自己
靈魂轉生的奧秘
前世今生來生緣~穿越時空的靈魂之旅
老鷹的羽毛-現代女巫的生命探索之旅
请选择排序方式:
类别
版别
出版年月↓
折扣↓
定价↓
共有
1
个搜索结果 共有
1
页
第一页
上一页
下一页
最后页
转到第
页
用TLA+定义系统(TLA+语言与工具在软硬件设计中的应用)/中兴通讯技术丛书/计算机科学丛书
所属分类:
电子电脑
>>
计算机技术
>>
程序与语言
作者:
(美)莱斯利·兰伯特|责编:王春华//孙榕舒|译者:董路明//贺志平
出版社:
机械工业
丛书项:
计算机科学丛书
本书系统介绍了形式化 建模语言TLA+以及模型检 查工具TLC,并结合若干案 例,深入浅出地描述了从数 学原理到系统建模的哲学思 想,以及从建模语言的工程 实践到模型验证工具的运用 技巧等内容。本书分为五个 部分。第一部分包含大多数 程序员和工程师需要了解的 有关编写系统规约(即建立 模型)的所有信息;第二部 分包含更高级的示例与材料 ,供需要进阶的读者使用; 第三部分和第四部分为 TLA+的参考手册,包括语 言本身的数学定义及工具的 原理与使用;第五部分介绍 在基础TLA+上所演进出的 TLA+版本2的新特性和少许 变更。 本书适合高级软硬件开 发设计人员、测试人员、架 构师以及相关学术研究人员 阅读。
人民幣:
RMB 139.00
元 售价:
NT$ 556.00
元
共有
1
个搜索结果 共有
1
页
第一页
上一页
下一页
最后页
转到第
页
Δ购买商品
购物流程
注册账户
更改注册信息
Δ售后服务
退换货原则
退换货注意事项
退换货流程
Δ订单支付
付款方式
运费计算方式
Δ关于我们
关于美商天龙
联络我们
商品搜寻:
全文搜索
商品名
作者
出版社
ISBN
|
进阶搜寻
首页
│
新手上路
│
客服中心
│
关于我们
│
人才邀请
│
联络我们
│
Top↑
│
Copyrightc 1999~2008 美商天龙国际图书股份有限公司 台湾分公司. All rights reserved.
营业地址:台北市中正区重庆南路一段103号1F 105号1F-2F
读者服务部电话:02-2381-2033 02-2381-1863 时间:周一~周五 10:00~17:00 服务信箱:
bookuu@69book.com