文件名称:网络协议的形式化分析与设计
文件大小:59.15MB
文件格式:PDF
更新时间:2018-08-11 04:24:41
网络协议 形式化
网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程
文件名称:网络协议的形式化分析与设计
文件大小:59.15MB
文件格式:PDF
更新时间:2018-08-11 04:24:41
网络协议 形式化
网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程