搜索资源列表

  1. clarke_model_cheching

    0下载：
  2. 本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。

  3. 所属分类：其它资源

    • 发布日期：2008-10-13
    • 文件大小：898.68kb
    • 提供者：Turing

  1. clarke_model_cheching

    0下载：
  2. 本书详细介绍了模型检测的基本原理，分析了模型检测在各个行业的应用，重点分析了模型检测各种算法，是有关模型检测方面不可多得百科全书式的经典资料。-The book details the basic principles of model checking, analysis of model checking applications in various industries, focusing on analysis of the

  3. 所属分类：行业发展研究

    • 发布日期：2025-01-10
    • 文件大小：898kb
    • 提供者：Turing

源码中国 www.ymcn.org