《网络协议转优工程》是2011年电子工业出版社出版的图书，作者是吴礼发。

• 书名 网络协议工程
• 作者 吴礼发
• 出版社 电子工业出版社
• 出版时间 2011年4月1日
• 定价 39.9 元

内来自容简介

　　网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。本书以360百科协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要卷差走内容包括:协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、喜总思考题及参考文献。

图书目录

　　目 录

　　第1章 概述1

　　第2章 协议设计技术10

　　第3章 协议形式化描述技术48

　　第4章 协议形式描述语言77

　　第5章 协议验证技术115

　　第6章 协议验证工具135

　　第7章 协议一致性测试技术165

　　附录A 英文缩略词245