下载掌阅APP，畅读海量书库
立即打开
网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。本书以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。
本书可作为高等学校网络工程、计算机、通信工程等专业与网络协议工程、协议设计与分析、通信软件开发有关课程的高年级本科生和研究生教材，也可作为网络研究和开发人员的自学教材和参考书。
未经许可，不得以任何方式复制或抄袭本书之部分或全部内容。
版权所有，侵权必究。