精选上位词
网络安全协议的形式化分析与验证
热度:318
简介
《网络安全协议的形式化分析与验证》是2010年4月1日机械工业出版社出版的图书,作者是李建华。
| 价格 | 27.00元 |
|---|---|
| 作者 | 李建华 |
| 出版时间 | 2010-04-01 |
| 出版社 | 机械工业出版社 |
| 原始名称 | 网络安全协议的形式化分析与验证 |
| 开本 | 16开 |
相关实体
《网络安全协议的形式化分析与验证》是2010年4月1日机械工业出版社出版的图书,作者是李建华。
| 价格 | 27.00元 |
|---|---|
| 作者 | 李建华 |
| 出版时间 | 2010-04-01 |
| 出版社 | 机械工业出版社 |
| 原始名称 | 网络安全协议的形式化分析与验证 |
| 开本 | 16开 |