大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 通信规程、通信协议 » 网络协议的形式化分析与设计
名称 网络协议的形式化分析与设计
索引号 TN915.04/43
分类号 TN915.04
TN915.04(通信规程、通信协议)
TN915.0(一般性问题)
TN915(通信网)
TN91(通信)
TN(无线电电子学、电信技术)
T(工业技术)
作者 古天龙、蔡国永、
出版社 北京：电子工业出版社，2003
ISBN 7-5053-8646-8
页数 367页
价格 CNY25.00
标签 计算机网络、通信协议、计算机科学、network、softeng、协议、形式化方法、
简介
注解
书籍简介

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

书籍目录

第1章 网络协议及开发概论
1.1 早期的通信及协议
1.1.1 早期的通信系统
1.1.2 协议缺陷的教训
1.2 通信与计算机的结合
1.2.1 数据通信