avatar

吴礼发编著

累计创作0

作品粉丝6

完结作品(1)
会员
本书以协议工程活动涉及到的各种技术为主线,以介绍基本原理、技术与方法为原则,主要内容包括:协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。
网络通信17.7万字