Systems and Software Verification

Systems and Software Verification pdf epub mobi txt 电子书 下载 2026

☆☆☆☆☆
出版者:Springer 作者:B. Berard 出品人: 页数:190 译者: 出版时间:2001-08-09 价格:USD 69.95 装帧:Hardcover isbn号码:9783540415237 丛书系列:
图书标签
  • 计算机科学
  • 软件验证
  • 系统验证
  • 形式化方法
  • 模型检测
  • 定理证明
  • 程序分析
  • 软件测试
  • 可靠性工程
  • 软件质量
  • 形式化验证
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D 收藏本页
你会得到大惊喜!!

具体描述

作者简介

目录信息

读后感

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

☆☆☆☆☆

用户评价

☆☆☆☆☆

系统和软件验证入门级的书,这本书可以了解到:同步的两种形式:消息传递和共享变量;模型验证的状态空间爆炸;基于BDD的模型验证;时间自动机;一些常见的验证工具

☆☆☆☆☆

系统和软件验证入门级的书,这本书可以了解到:同步的两种形式:消息传递和共享变量;模型验证的状态空间爆炸;基于BDD的模型验证;时间自动机;一些常见的验证工具

☆☆☆☆☆

系统和软件验证入门级的书,这本书可以了解到:同步的两种形式:消息传递和共享变量;模型验证的状态空间爆炸;基于BDD的模型验证;时间自动机;一些常见的验证工具

☆☆☆☆☆

系统和软件验证入门级的书,这本书可以了解到:同步的两种形式:消息传递和共享变量;模型验证的状态空间爆炸;基于BDD的模型验证;时间自动机;一些常见的验证工具

☆☆☆☆☆

系统和软件验证入门级的书,这本书可以了解到:同步的两种形式:消息传递和共享变量;模型验证的状态空间爆炸;基于BDD的模型验证;时间自动机;一些常见的验证工具