网络协议工程出版时间：2011年版内容简介　　网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。《网络协议工程》以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技...