大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » 网络协议的形式化分析与设计
名称 网络协议的形式化分析与设计
索引号 606660
分类号
(| 08 环境公报)
作者 古天龙、蔡国永、
出版社 北京 : 电子工业出版社, 2003
ISBN 7-5053-8646-8
页数 367页 : 图 ; 21cm
价格 CNY25.00
标签 计算机科学、network、softeng、协议、形式化方法、
简介
注解 有书目 (第362-367页)
书籍简介

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

书籍目录

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