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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • [M]形式化方法导论 第2版-9787302626602
  • 本书获得了众多专家的推荐或权威评价,许多业内人士和读者纷纷表示它是一部不可错过的佳作。
    • 作者: 张广泉著
    • 出版社: 清华大学出版社
    • 出版时间:2023-03-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    儒源图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 张广泉著
    • 出版社:清华大学出版社
    • 出版时间:2023-03-01 00:00:00
    • 版次:2
    • 印次:1
    • 印刷时间:2023-03-01
    • 字数:458000
    • 页数:300
    • 开本:其他
    • 装帧:平装
    • ISBN:9787302626602
    • 国别/地区:中国
    • 版权提供:清华大学出版社
    形式化方法是指有严格数学基础的软件和系统开发方法,支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长,形式化方法的重要性和关注度日益提高。本书共12章,第1章概述形式化方法,第2章介绍形式化方法发展早期的经典内容,其余部分共分3篇:上篇(第3~5章)为系统建模篇,着重介绍迁移系统、有穷自动机、Petri网等基本计算模型;中篇(第6和第7章)为形式规约篇,着重讨论时序逻辑及其在并发系统属性描述的应用;下篇(第8~12章)为形式验证篇,着重介绍定理证明方法和并发、实时及混成系统的各种模型检测方法及相关验证工具。全书提供了大量应用实例,每章后均附有习题。本书适合作为高等院校计算机、软件工程、人工智能、网络工程、信息安全、自动化等专业高年级本科生、研究生的教材,同时可供相关领域的研究人员和技术开发人员参考。

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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