吴礼发编著
本书以协议工程活动涉及到的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。
