当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0241秒）
为您推荐： 网络协议的形式化分析与设计 列车运行安全行为建模与形式化技术研究 网络协议 分析 设计与仿真 安全协议与形式化方法国科大 维修性设计分析与验证 保证正版 网络安全协议 原理 结构与应用
-
-
-
-
形式语言及其与自动机的关系
（美）霍普克罗夫特（J.E.Hopcroft），（美）厄尔曼（J.D.Ullman）著；莫绍揆等译1979 年出版316 页ISBN：15031·231 -
-
-
-
-
-
