Network protocol engineering
作者: 吴礼发编著
出版社:电子工业出版社,2011
简介: 网络协议是计算机网络及数据通信的核心,开发正确、有效的网络协
议一直是人们追求的目标,网络协议工程正是实现这一目标的重要途径。
目前的网络类书籍一般以介绍现有协议为主,而吴礼发编著的这本《网络
协议工程》的主要目的则是介绍如何设计开发协议,是协议开发的指南,
书中介绍的协议设计与分析方法是从作者十多年教学和工程实践中总结出
来的,有较强的实用价值。本书以协议工程活动所涉及的各种技术为主线
,主要内容包括:协议工程概论、协议设计技术、协议形式化描述技术、
协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术
等。各章均附有讨论题、思考题及参考文献。
《网络协议工程》可作为网络工程、计算机、通信工程等专业高年级
本科生和研究生的网络协议工程、协议设计与分析、通信软件开发等课程
的教材,也可作为网络研究和开发人员的自学教材和参考书。