网上购物 货比三家
女用仿真 戏曲 惠氏 复印机 牛仔裤 等离子电视 明治 国产表店 数码伴侣 男根套环 充气娃娃 女鞋 电影/戏剧 电池/充电器 扫描仪/扫描枪 液晶电视

全部商品分类

热搜：
保湿加湿器诺基亚
您现在的位置：快乐比价网 > 图书 > 教育/科技 > 原版书与影印版 > 商品详情

Tools and Algorithms for the Construction and Analysis of Systems

分享到：
Tools and Algorithms for the Construction and Analysis of Systems

最 低 价：￥324.20

定 价：￥377.00

作 者： 著

出 版 社：湖南文艺出版社

出版时间：

I S B N：3540418652

  • 价格比较
  • 商品详情
  • 商品评论(0条)

    • 商品详情

    编辑推荐


    内容简介
    "This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
    The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstion, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration."

    作者简介


    目录
    Invited Contributions
    Sybolic Verfication
    Infinite State Systems;Deduction and Abstraction
    Application of Model Checking Techniques
    Timed and Probabillistic Systems
    Hardware;Design and Verification
    Software Verification
    Symbolic Verification
    Testing:Techniques and Tools
    Implementation Techniques
    Semantics and Compositional Verfiaction
    Logics and Model-Chexking
    ETAPS Tool Demonstration
    Author Index

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

    loading 内容加载中，请稍后...
    免责声明:

    本网站为购物搜索引擎,只提供各网站商品及服务信息链接,以商家实际信息为准!

    关于比价网 | 合作网站 | 免责声明 | 联系我们 (京ICP备13007221号-2)
    © 2008-2012 Bijia123.cn. All rights reserved.