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

全部商品分类

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

Tools and Algorithms for the Construction and Analysis of Systems

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

最 低 价：￥259.70

定 价：￥302.00

作 者： 著

出 版 社：湖南文艺出版社

出版时间：

I S B N：3540434194

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

    • 商品详情

    编辑推荐


    内容简介
    "This book constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002.
    The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing, partial-order and simulation techniques, and debugging with model checking."

    作者简介


    目录
    Invited Contributions
    Software Construction and Analysis Tools for Future Space Missions
    Alloy:A New Technology for Software Modelling
    Real-Time and Probabilistic Systems
    Improving the Verification of Timed Systems Using
    Influence Information
    Digitisation and Full Abstraction for Dense-Time Model Checking
    Probabilistic Symbolic Model Checking with PRISM:A Hybrid Approach
    Scheduling
    Miscellaneous
    Software Verification
    Intinite-State and Parametric Systems
    Model Checking:Logics and Algorithms
    Model Checking and Testing
    Partial-Order and Simulation Techniques
    Debugging with Model Checking
    Tool Papers
    Author Index

    商品评论（0条）

    暂无评论！

    相关新品推荐

    浏览更多同类商品

    您的浏览历史

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

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

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