网络协议的形式化分析与设计 豆 0.0分

资源最后更新于 2020-08-23 08:19:01

作者：古天龙

出版社：电子工业出版社

出版日期：2003-01

ISBN：9787505386464

文件格式： pdf

标签： 计算机科学 协议 Network 形式化方法 计算科学 网络编程 SoftEng NetWork

简介· · · · · ·

计算机网络及数据通信是当今信息社会的基石，网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程。本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；网络协议的分析验证工具；电子商务协议的形式化分析等。本书可作为计算机