安全协议形式化分析与验证

出版时间 2019-11-01T00:00 计算机理论 79542

作者： 肖美华|责编:王哲
出版社： 科学
原售价: 109.00
折扣价: 76.30
折扣购买: 安全协议形式化分析与验证
ISBN： 9787030626332

作者简介