书籍 Büchi自动机模型检测及其安全性分析应用研究的封面

Büchi自动机模型检测及其安全性分析应用研究

王曦,欧阳城添著

出版社

长沙:中南大学出版社

出版时间

2019

ISBN

标注页数

147 页

PDF页数

160 页

书籍介绍
在线购买PDF电子书