推荐Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库的书单

ISBN：9787548735632
作者：暂无作者
出版社：中南大学出版社
出版时间：暂无出版时间
页数：暂无页数
价格：暂无价格
纸张：暂无纸张
装帧：暂无装帧
开本：暂无开本
语言：暂无语言
TAG：计算机科学 / 系统安全 / 安全性分析 / 理论计算机科学 / 博士论文 / Büchi自动机 / 模型检测 / 自动化理论
豆瓣评分：暂无豆瓣评分