作者	古天龙
出版社
出版时间	2003-06-01

特色：

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括网络协议及开发概论，网络协议的形式化模型，网络协议的形式化描述语言等。