网络安全协议的形式化分析与验证
基本信息·出版社：机械工业出版社 ·出版日期：2010年04月 ·ISBN：9787111297260 ·条形码：9787111297260 ·版本：第1版 ·装帧：平装 产品信息有问题吗？请帮
句式语义的形式分析与计算作者： 吴平 著 出 版 社： 北京语言学院出版社 出版时间： 2007-4-1字数： 218000版次： 1页数： 216印刷时间： 2007/04/01开本： 16开印次： 2纸张： 胶版纸I
网络协议分析作者： 寇晓蕤，罗军勇，蔡延荣编著 出 版 社： 机械工业出版社 出版时间： 2009-8-1字数：版次： 1页数： 263印刷时间：开本： 16开印次：纸张：I S B N ： 9787111
WTO反倾销协议改革--政策和法律分析/武汉大学国际法博士文库(武汉大学国际法博士文库)基本信息·出版社：武汉大学出版社 ·页码：399 页 ·出版日期：2006年 ·ISBN：7307053470 ·条形码：9787307053472 ·包装版本：第1版 ·装帧：平装 ·开本：32开
TCP/IP——协议分析与应用编程作者： 李峰，陈向益编著 出 版 社： 人民邮电出版社 出版时间： 2008-11-1字数： 387000版次： 1页数： 240印刷时间： 2008/11/01开本： 16开印次： 1纸张： 胶版纸
WTO《反倾销协议》改革——政策和法律分析作者： 孙立文著 出 版 社： 武汉大学出版社 出版时间： 2006-12-1字数： 367000版次： 1页数： 399印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N
作者： 美.里德 著 孙坦 张学锋 杨琳 等译 出 版 社： 电子工业出版社 出版时间： 2002-1-1字数： 458千版次： 1版1次页数： 340印刷时间： 2002-1开本：印次：纸张： 胶版
作者： 出 版 社： 机械工业出版社 出版时间： 2001-1-1字数：版次： 1版1次页数： 652印刷时间：开本：印次：纸张：I S B N ： 9787111084471包装： 精装内容简
电子商务网络协议的形式化分析理论与应用作者： 谢晓尧 著 出 版 社： 科学出版社 出版时间：字数： 184000版次： 1页数： 146印刷时间： 2008/01/01开本：印次：纸张： 胶版纸I S B N ： 97870302
网络安全协议-原理、结构与应用作者： 寇晓蕤，王清贤 编著 出 版 社： 高等教育出版社 出版时间： 2009-1-1字数： 490000版次： 1页数： 369印刷时间： 2009-9-1开本： 16开印次： 1纸张： 胶版纸