返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 醉染图书嵌入式实时系统9787512418714
  • 正版全新
    • 作者: (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译著 | (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译编 | (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译译 | (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译绘
    • 出版社: 北京航空航天大学出版社
    • 出版时间:2015-12-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译著| (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译编| (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译译| (美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译绘
    • 出版社:北京航空航天大学出版社
    • 出版时间:2015-12-01
    • 版次:1
    • 印次:1
    • 字数:559千字
    • 页数:403
    • 开本:16开
    • ISBN:9787512418714
    • 版权提供:北京航空航天大学出版社
    • 作者:(美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译
    • 著:(美)阿尔伯特陈(Albert M.K.cheng) 著;周强,李峭,杨昕欣 译
    • 装帧:平装
    • 印次:1
    • 定价:69.00
    • ISBN:9787512418714
    • 出版社:北京航空航天大学出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2015-12-01
    • 页数:403
    • 外部编号:1201259073
    • 版次:1
    • 成品尺寸:暂无

    章简介
    1.1什么是时间
    1.2
    1.3测试
    1.4验
    1.5运行时期监测
    1.6相关资源
    第2章非实时系统的分析与验
    2.1符号逻辑
    2.1.1命题逻辑
    2.1.2谓词逻辑
    2.2自动机和语言
    2.2.1语言和表示
    2.2.2有限自动机
    2..非定时系统的规范指定和验
    .历史回顾和相关研究
    2.4总结
    习题
    第3章实时调度和调度分析
    3.1确定计算时间
    3.2单处理器调度
    3.2.1独立可抢占任务的调度
    3.2.2不可抢占任务的调度
    3..带前后次序约束的不可抢占任务
    3.2.4周期任务间的通信:确定的会合模型
    3.2.5带临界区域的周期任务:核心化监测模型
    3.3多处理器调度
    3.3.1调度表示
    3.3.2单实例任务调度
    3.3.3周期任务调度
    3.4可用的调度工具
    3.4.1PERTS/RAPRMA
    3.4.2PerfoRMAx
    3.4.3TimeWiz
    3.5可用的实时操作系统
    3.6历史回顾和相关研究
    3.7总结
    习题
    第4章有限状态系统的模型检测
    4.1系统规范
    4.2CLARKE-EMERSON-SISTLA模型检测器
    4.3CTL的扩展
    4.4应用
    4.5用C实现的完整的CTL模型检测器程序
    4.6符号化模型检测
    4.6.1二元决策图BDDs
    4.6.2符号模型检测器
    4.7实时CTL
    4.7.1和延迟
    4.7.2条件发生的和数量
    4.7.3非单位转移时间
    4.8可用的工具
    4.9历史回顾和相关研究
    4.10总结
    习题
    第5章可视形式化、状态图和STATEMATE
    5.1状态图
    5.1.1状态图的基本功能
    5.1.2语义
    5.2活动图
    ……
    第6章实时逻辑、图论分析与模式图
    第7章利用饰件自动机进行验
    第8章时间相关的Petri网
    第9章进程代数
    0章基于命题逻辑规则系统的设计与分析
    1章基于谓词逻辑规则系统的时序分析
    2章基于规则系统的优化
    参考文献

    ALBERT M.K.CHENG,PhD.获得德萨斯大学奥斯汀分校计算机科学博士,在哪里他获得了GTE的博士奖学金。他目前是休斯敦大学计算机科学系副教授,也是休斯敦大学实时系统实验室创始人及主任。ALBERT M.K.CHENG是超过60本出版物的作者和合著者,并获得过无数奖项,包括NSF事业奖。他曾担任过几个组织机构(包括IBM)的技术顾问,并且是许多程序委员会会议的成员。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购