虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > Principles_of_Model_Checking_CBaier_Joos

Principles_of_Model_Checking_CBaier_Joos

资 源 简 介

几位图灵奖得主的巨作 基于对模型检测数十年的研究-Principles of Model Checking_C.Baier_Joost2008_original

相 关 资 源

您 可 能 感 兴 趣 的